Problem with algsys and realonly -> false solution from solve_rat_ineq.
Subject: Problem with algsys and realonly -> false solution from solve_rat_ineq.
From: Robert Marik
Date: Thu, 29 Apr 2010 19:08:54 +0000 (UTC)
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