#2632 to_poly_solve gives different answers in sbcl and gcl

None
open
nobody
None
5
2013-11-15
2013-09-09
John Lapeyre
No
Maxima 5.31.0 http://maxima.sourceforge.net
using Lisp GNU Common Lisp (GCL) GCL 2.6.8 (a.k.a. GCL)
(%i2) display2d:false
(%i3) load(to_poly_solve)
(%i4) %solve(z+z*conjugate(z) = 23,z,'simpfuncs = ['expand])
(%o4) %union([z = -sqrt(93)/2-1/2],[z = sqrt(93)/2-1/2])
(%i5) declare(z,complex)
(%o5) done
(%i6) %solve(z+z*conjugate(z) = 23,z,'simpfuncs = ['expand])
(%o6) %union()

Maxima 5.31.0 http://maxima.sourceforge.net
using Lisp SBCL 1.1.1
(%i2) display2d:false
(%i3) load(to_poly_solve)
(%i4) %solve(z+z*conjugate(z) = 23,z,'simpfuncs = ['expand])
(%o4) %union([z = -sqrt(93)/2-1/2],[z = sqrt(93)/2-1/2])
(%i5) declare(z,complex)
(%o5) done
(%i6) %solve(z+z*conjugate(z) = 23,z,'simpfuncs = ['expand])
(%o6) %union([z = -sqrt(93)/2-1/2],[z = sqrt(93)/2-1/2])
(%o6) "/home/jlapeyre/maxima/mext/tpdemo2.mac"

The test suite says that the solution should be found with
declare(z,complex). The gcl maxima fails the test suite for this
reason, when run from the command line. But, when I built the gcl build, all rtests passed.
Don't know why.

Discussion

  • Robert Dodier
    Robert Dodier
    2013-11-14

    • Description has changed:

    Diff:

    --- old
    +++ new
    @@ -1,3 +1,4 @@
    +~~~~
     Maxima 5.31.0 http://maxima.sourceforge.net
     using Lisp GNU Common Lisp (GCL) GCL 2.6.8 (a.k.a. GCL)
     (%i2) display2d:false
    @@ -20,7 +21,7 @@
     (%i6) %solve(z+z*conjugate(z) = 23,z,'simpfuncs = ['expand])
     (%o6) %union([z = -sqrt(93)/2-1/2],[z = sqrt(93)/2-1/2])
     (%o6) "/home/jlapeyre/maxima/mext/tpdemo2.mac"
    -
    +~~~~
    
     The test suite says that the solution should be found with
     declare(z,complex). The gcl maxima fails the test suite for this
    
     
  • Robert Dodier
    Robert Dodier
    2013-11-14

    Enclosing Maxima session in four tildes so it is not interpreted as markup.

     
  • Robert Dodier
    Robert Dodier
    2013-11-15

    Not observed w/ current Git source (post-5.31) + GCL 2.6.10 (just released).