Failures in share_testsuite
- Subject: Failures in share_testsuite
- From: Barton Willis
- Date: Thu, 6 May 2010 19:49:45 -0500
These failures are due to changes to recent changes to comm.lisp. Tracing algsys shows a
failure on
(%i6) %solve(sin(x^2),x);
1 Enter algsys [[%i*(1-%g8^2)],[%g8,x]]
1 Exit algsys [[%g8 = 1,x = %r5],[%g8 = -1,x = %r6]]
1 Enter algsys [[2*%i*%pi*%z10-%i*%c10^2+log(-1)],[%c10]]
Unable to solve
(%o6) %solve([sin(x^2)],[x])
It seems that some CL complex numbers sneak into Maxima:
(%i13) algsys([2*%i*%pi*%z10-%i*%c10^2+log(-1)],[%c10]);
1 Enter algsys [[2*%i*%pi*%z10-%i*%c10^2+log(-1)],[%c10]]
Maxima encountered a Lisp error:
value #C(-0.0 -0.5) is not of the expected type REAL.
Of course, algsys shouldn't be doing floating point....
Barton
-----maxima-bounces at math.utexas.edu wrote: -----
>To:?Maxima?<maxima at math.utexas.edu>
>From:?Dieter?Kaiser?<drdieterkaiser at web.de>
>Sent?by:?maxima-bounces at math.utexas.edu
>Date:?05/06/2010?05:59PM
>Subject:?[Maxima]?Failures?in?share_testsuite
>
>I?get?four?errors?with?the?share_testsuite.?The?failures?are?in
>rtest_to_poly_solver.
>
>Dieter?Kaiser
>
>
>Maxima?version:?5.20post
>Maxima?build?date:?23:42?5/6/2010
>Host?type:?i686-pc-linux-gnu
>Lisp?implementation?type:?SBCL
>Lisp?implementation?version:?1.0.29.11.debian
>
>
>Running?tests?in?rtest_to_poly_solver:?STYLE-WARNING:?redefining
>SIMP-ISREAL-P?in?DEFUN
>STYLE-WARNING:?redefining?SIMP-ISREAL-P?in?DEFUN
>
>**********************?Problem?193?***************
>Input:
>????????????2
>%solve(sin(x?)?=?0,?x,?'simpfuncs?=?['nicedummies])
>
>
>Result:
>Unable?to?solve
>?????????????2
>%solve([sin(x?)?=?0],?[x],?simpfuncs?=?[nicedummies])
>
>This?differed?from?the?expected?result:
>%union([x?=?-?sqrt(2)?sqrt(%pi)?sqrt(%z0)],?[x?=?sqrt(2)?sqrt(%pi)
>sqrt(%z0)],?
>????????????????????[x?=?-?sqrt(%pi?+?2?%pi?%z0)],?[x?=?sqrt(%pi?+?2?%pi
>%z0)])
>
>**********************?Problem?305?***************
>Input:
>????????????????????????2
>???????????????????sin(x?)
>nicedummies(%solve(-------,?x))
>??????????????????????x
>
>
>Result:
>Unable?to?solve
>?????????????2
>????????sin(x?)
>%solve([-------],?[x])
>???????????x
>
>This?differed?from?the?expected?result:
>%union(%if(1?+?2?%z0?#?0,?[x?=?-?sqrt(%pi?+?2?%pi?%z0)],?%union()),?
>%if(1?+?2?%z0?#?0,?[x?=?sqrt(%pi?+?2?%pi?%z0)],?%union()),?
>%if(%z1?#?0,?[x?=?-?sqrt(2)?sqrt(%pi)?sqrt(%z1)],?%union()),?
>%if(%z1?#?0,?[x?=?sqrt(2)?sqrt(%pi)?sqrt(%z1)],?%union()))
>
>**********************?Problem?306?***************
>Input:
>????????????????????????2
>???????????????????sin(x?)
>nicedummies(%solve(-------,?x))
>??????????????????????2
>?????????????????????x
>
>
>Result:
>Unable?to?solve
>?????????????2
>????????sin(x?)
>%solve([-------],?[x])
>???????????2
>??????????x
>
>This?differed?from?the?expected?result:
>%union(%if(1?+?2?%z0?#?0,?[x?=?-?sqrt(%pi?+?2?%pi?%z0)],?%union()),?
>%if(1?+?2?%z0?#?0,?[x?=?sqrt(%pi?+?2?%pi?%z0)],?%union()),?
>%if(%z1?#?0,?[x?=?-?sqrt(2)?sqrt(%pi)?sqrt(%z1)],?%union()),?
>%if(%z1?#?0,?[x?=?sqrt(2)?sqrt(%pi)?sqrt(%z1)],?%union()))
>
>**********************?Problem?307?***************
>Input:
>????????????????????????2
>???????????????????sin(x?)
>nicedummies(%solve(-------,?x))
>??????????????????????3
>?????????????????????x
>
>
>Result:
>Unable?to?solve
>?????????????2
>????????sin(x?)
>%solve([-------],?[x])
>???????????3
>??????????x
>
>This?differed?from?the?expected?result:
>%union(%if(1?+?2?%z0?#?0,?[x?=?-?sqrt(%pi?+?2?%pi?%z0)],?%union()),?
>%if(1?+?2?%z0?#?0,?[x?=?sqrt(%pi?+?2?%pi?%z0)],?%union()),?
>%if(%z1?#?0,?[x?=?-?sqrt(2)?sqrt(%pi)?sqrt(%z1)],?%union()),?
>%if(%z1?#?0,?[x?=?sqrt(2)?sqrt(%pi)?sqrt(%z1)],?%union()))
>
>318/322?tests?passed?(not?counting?3?expected?errors)
>
>The?following?4?problems?failed:?(193?305?306?307)
>
>
>_______________________________________________
>Maxima?mailing?list
>Maxima at math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxima