bug in solve/algsys (0 is not of type LIST)



This might be due to a bug in punivarp (defined in algsys.lisp)
Changing punivarp function to

(defun punivarp (poly)
  (cond ((eq poly 0) t)
 (t
  (do ((l (cdr poly) (cddr l)))
            ((null l) t)
    (or (numberp (cadr l))
        (and (eq (caadr l) *ivar*)
      (punivarp (cadr l)))
        (return nil))))))

allows Maxima to get  a bit further, but it with your equations
Maxima reports that the equations are too complicated to solve.

Barton

-----maxima-bounces at math.utexas.edu wrote: -----

>To:
>From: "laurent couraud"
>Sent by: maxima-bounces at math.utexas.edu
>Date: 10/12/2006 02:55PM
>Subject: bug in solve/algsys (0 is not
>of type LIST)
>
>Hello,
>
>When I try this I get an error:
>
>sys:[b2 + a1 = r2, a1 * b2 = r3, a2 * b2 + a3 *
>b1 = r4, a3 * b2 + a5 + r4 = d5, a5 * b1 = 0];
>solve(sys, [a1, a2, a3, a5, r2, r3, r4, b1, b2]);
>
>Error in MACSYMA-TOP-LEVEL [or a callee]: 0 is
>not of type LIST.
>
>This bug exists at least from 5.9.0 version.
>I use actually 5.10.0.a on WinXP
>
>Maxima 5.10.0 http://maxima.sourceforge.net
>Using Lisp GNU Common Lisp (GCL) GCL 2.6.8 (aka
>GCL)
>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.
>
>
>Laurent.
>_______________________________________________
>Maxima mailing list
>Maxima at math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxim
>a
>
>