bug in solve



Can someone try these solve tests on Maxima with CLISP?
I've checked on Maxima 5.6/GCL 2.4.0 (gmp) and
Maxima 5.5/GCL 2.3.8  (mp) [Pentium III Linux]. Problem persists.
With commercial Macsyma on Win 3.1 everything is OK.

Richard Fateman wrote:

> Looks like the symptom of a bug in the polynomial
> greatest common divisor algorithm.  This could
> be caused by a bug in the integer division algorithm
> in the underlying lisp.
>
> Jürgen Tischer wrote:
>
> > As I try to run the following commands, the result is
> >
> > (C1) Solve((a^2+1)*x^2+a*x+a=0,x);
> > quotient is not exact
> >  -- an error.  Quitting.  To debug this try DEBUGMODE(TRUE);)
> >
> > (C2) Solve((a^2+1)*x^2+a*x+a^2=0,x);
> >  (Solves OK)
> >
> > (C3) Solve((a^2+1)*x^2+a^2*x+a^2=0,x);
> > quotient is not exact
> >  -- an error.  Quitting.  To debug this try DEBUGMODE(TRUE);)
> >
> > (C4) Solve((a^3+1)*x^2+a^2*x+1=0,x);
> > Quotient by a polynomial of higher degree
> >  -- an error.  Quitting.  To debug this try DEBUGMODE(TRUE);)
> >
> > (C5) Solve((a^2+1)*x^2+a*x+a^5=0,x);
> >  (Solves OK)
> >
> > (C6) Solve((a^2+1)*x^2+a^3*x+1=0,x);
> >
> > And the last one hangs maxima, I have to use ^C to get back.
> >
> > Can someone please tell me what's going on?
> >
> > I'm using
> > maxima_5.6-12.deb
> >
> > jt@Bachue:~$ uname -a
> > Linux Bachue 2.4.8 #11 Sun Sep 23 11:23:51 COT 2001 i686 unknown
> >
> > on a Dell Dimension 8100.
> >
> > I run the rtest*.mac and all went fine.
> >
> > Jurgen
> >
> > _______________________________________________
> > Maxima mailing list
> > Maxima@www.math.utexas.edu
> > http://www.math.utexas.edu/mailman/listinfo/maxima
> >
>
> _______________________________________________
> Maxima mailing list
> Maxima@www.math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima

--

[ Vadim V. Zhytnikov  <vvzhy@mail.ru>  <vvzhy@td.lpi.ac.ru> ]