[Maxima] Failures in share_testsuite

[Barton Willis]

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