Problem with algsys and realonly -> false solution from solve_rat_ineq.
Subject: Problem with algsys and realonly -> false solution from solve_rat_ineq.
From: Volker van Nek
Date: Thu, 29 Apr 2010 22:24:09 +0200
Hi Robert,
thank you for your report. It was me who introduced this bug.
Obviously I wasn't careful enough when doing the change in
src/algsys.lisp/realonly.
I just committed a fix. See
http://maxima.cvs.sf.net/viewvc/*checkout*/maxima/maxima/src/algsys.lisp?revision=1.16
Please download and install this new version of algsys.lisp.
Greetings
Volker van Nek
Am Donnerstag, den 29.04.2010, 19:08 +0000 schrieb Robert Marik:
> Dear readers
>
> I think that there is a problem in algsys and realonly in the last few Maxima
> versions and as a consequence, solve_rat_ineq gives false solutions (Bug
> 2990307
> http://sourceforge.net/tracker/index.php?func=detail&aid=2990307&group_id=4933&atid=104933
> ).
>
>
> Maxima version: 5.21.1
> Maxima build date: 8:13 4/26/2010
> Host type: i686-pc-mingw32
> Lisp implementation type: GNU Common Lisp (GCL)
> Lisp implementation version: GCL 2.6.8
>
> display2d:false;
>
> algsys([8*x=1],[x]);
> (%o39) [[x = 1/8]]
>
> realonly:true;
> algsys([8*x=1],[x]);
> (%o41) []
>
> I think that relevant post is
> http://article.gmane.org/gmane.comp.mathematics.maxima.general/29596
>
> See also http://trac.sagemath.org/sage_trac/ticket/8731
>
> Is this a new bug introduced recently into Maxima, or does the package
> solve_rat_ineq not use the combination of this commands properly and should be
> rewritten?
>
> Thanks
>
> Robert
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima