Re: Bug#172208: maxima: solve cannot handle sets of non-linear equations



Greetings!  I've just verified this is still a bug with clisp/maxima,
so I'll go ahead and register it on the site.  RJF has separately
emailed me that this bug does not occur in the comercial macsyma.

Take care,

Camm Maguire <camm@enhanced.com> writes:

> forwarded 172208 maxima@www.ma.utexas.edu
> thanks
> 
> Greetings!  I've confirmed this is still an error with gcl/maxima cvs:
> 
> =============================================================================
> intech19:/fix/f/debian/mm/maxima/59/maxima$ ./maxima-local
> GCL (GNU Common Lisp)  Version(2.5.0) Thu Dec  5 08:07:35 EST 2002
> Licensed under GNU Library General Public License
> Contains Enhancements by W. Schelter
> Maxima 5.9.0rc3 http://maxima.sourceforge.net
> Distributed under the GNU Public License. See the file COPYING.
> Dedicated to the memory of William Schelter.
> This is a development version of Maxima. The function bug_report()
> provides bug reporting information.
> (C1) y:[ (x2-x1)^2+(y2-y1)^2=36^2, (x3-x1)^2+(y3-y1)^2=25^2, (x3-x2)^2+(y3-y2)^2
> =17^2];
> 
> 	       2	    2		       2	    2
> (D1) [(Y2 - Y1)  + (x2 - x1)  = 1296, (Y3 - Y1)  + (x3 - x1)  = 625, 
> 
> 							  2	       2
> 						 (Y3 - Y2)  + (x3 - x2)  = 289]
> (C2) solve(y, [x1, y1, x2, y2, x3, y3]);
> 
> 
> Error: 0 is not of type LIST.
> Fast links are on: do (si::use-fast-links nil) for debugging
> Error signalled by MACSYMA-TOP-LEVEL.
> Broken at MACSYMA-TOP-LEVEL.  Type :H for Help.
> =============================================================================
> 
> Can someone try with the other lisps?  Is this Maxima or GCL?
> 
> Take care,
> 
> 
> Arno Peters <a.w.peters@ieee.org> writes:
> 
> > Package: maxima
> > Version: 5.6b-51
> > Severity: normal
> > 
> > During solve, maxima reports a fatal error.  See the following
> > transscript of a maxima session:
> > 
> > 
> > GCL (GNU Common Lisp)  Version(2.5.0) Thu Dec  5 19:42:11 EST 2002
> > Licensed under GNU Library General Public License
> > Contains Enhancements by W. Schelter
> > Maxima 5.6 Thu Dec 5 19:47:56 EST 2002 (with enhancements by W. Schelter).
> > Licensed under the GNU Public License (see file COPYING)
> > (C1) y:[ (x2-x1)^2+(y2-y1)^2=36^2, (x3-x1)^2+(y3-y1)^2=25^2, (x3-x2)^2+(y3-y2)^2
> > =17^2];
> > 
> >                2            2                  2            2
> > (D1) [(y2 - y1)  + (x2 - x1)  = 1296, (y3 - y1)  + (x3 - x1)  = 625, 
> > 
> >                                                           2            2
> >                                                  (y3 - y2)  + (x3 - x2)  = 289]
> > (C2) solve(y, [x1, y1, x2, y2, x3, y3]);
> > 
> > Error: Caught fatal error [memory may be damaged]
> > Fast links are on: do (si::use-fast-links nil) for debugging
> > Error signalled by CATCH.
> > Broken at MACSYMA-TOP-LEVEL.  Type :H for Help.
> > MAXIMA>>(si::use-fast-links nil)
> > 
> > NIL
> > MAXIMA>>(run)
> > Maxima 5.6 Thu Dec 5 19:47:56 EST 2002 (with enhancements by W. Schelter).
> > Licensed under the GNU Public License (see file COPYING)
> > (C3) y:[ (x2-x1)^2+(y2-y1)^2=36^2, (x3-x1)^2+(y3-y1)^2=25^2, (x3-x2)^2+(y3-y2)^2
> > =17^2];
> > 
> >                2            2                  2            2
> > (D3) [(y2 - y1)  + (x2 - x1)  = 1296, (y3 - y1)  + (x3 - x1)  = 625, 
> > 
> >                                                           2            2
> >                                                  (y3 - y2)  + (x3 - x2)  = 289]
> > (C4) solve(y, [x1, y1, x2, y2, x3, y3]);
> > 
> > Error: Caught fatal error [memory may be damaged]
> > Error signalled by CALLAPPRS.
> > Backtrace: system:universal-error-handler > evalhook > run > catch > catch > mac
> > syma-top-level > continue > meval* > meval > meval1 > solvex > $algsys > algsys 
> > > algsys0 > algsys1 > algsys > algsys0 > algsys1 > bakalevel > bakalevel1 > algs
> > ys > algsys0 > algsys1 > algsys > algsys0 > algsys1 > bakalevel > bakalevel1 > c
> > allsolve > callapprs > punivarp > system:universal-error-handler > SYSTEM::BREAK
> > -LEVEL
> > (C5) 
> > 
> > 
> > 
> > 
> > -- System Information:
> > Debian Release: testing/unstable
> > Architecture: i386
> > Kernel: Linux duronbox.nosuchnet 2.4.19 #3 Fri Nov 8 12:47:36 CET 2002 i686
> > Locale: LANG=nl_NL, LC_CTYPE=nl_NL
> > 
> > Versions of packages maxima depends on:
> > ii  libc6                     2.3.1-5        GNU C Library: Shared libraries an
> > ii  libgmp3                   4.0.1-3        Multiprecision arithmetic library
> > ii  libncurses5               5.3.20021109-2 Shared libraries for terminal hand
> > ii  libreadline4              4.3-4          GNU readline and history libraries
> > ii  tk8.3 [wish]              8.3.3-9        The Tk toolkit for TCL and X11 v8.
> > 
> > -- no debconf information
> > 
> > 
> > 
> > 
> 
> -- 
> Camm Maguire			     			camm@enhanced.com
> ==========================================================================
> "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
> _______________________________________________
> Maxima mailing list
> Maxima@www.math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
> 
> 

-- 
Camm Maguire			     			camm@enhanced.com
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah