Logged In: YES
user_id=895922
Originator: YES
See also SF bug 1726550 "not bugs." These bugs might be the same.
OK:
(%i1) is(f(a));
(%o1) unknown
OK:
(%i2) is(f(a+b));
(%o2) unknown
Not OK
(%i3) is(f(a+b+c));
Maxima encountered a Lisp error:
Error in PROGN [or a callee]: Bad plist ($A $B $C)
(%i4) build_info();Maxima version: 5.14.0Maxima build date: 21:46 12/27/2007host type: i686-pc-mingw32lisp-implementation-type: GNU Common Lisp (GCL)lisp-implementation-version: GCL 2.6.8
Logged In: YES
user_id=895922
Originator: YES
See also SF bug 1726550 "not bugs." These bugs might be the same.
Logged In: YES
user_id=895922
Originator: YES
This might help find the bug:
OK---
(%i1) notequal(-(a*z)/10,0)$
(%i2) maybe(%);
(%o2) unknown
Not OK---
(%i3) unk(-(a*z)/10,0)$
(%i4) maybe(%);
Maxima encountered a Lisp error:
Error in PROGN [or a callee]: Bad plist ((RAT
The error occurs for every odd number of arguments of a sum or a product which is passed as an argument to a function (The function can be a known function like sin too):
is(f(a+b+c)) -> error
is(f(a+b+c+d)) -> no error
is(f(a+b+c+d+e)) -> error
...
We get the same error with a product:
is(f(a*b*c)) -> error
is(f(a*b*c*d)) -> no error
is(f(a*b*c*d*e)) -> error
...
In the second example of this bug report unk(-(a*z)/10), we have an odd number of terms of a product too. When we add a term e.g. unk(-(b*a*z)/10) it will work again.
The error occurs in the routine QUEUE+P in the file db.lisp:
(defun queue+p (nd lab)
cond ((null (setq *db* (+labs nd)))
...
For an odd number of arguments of a sum or a product which is an argument of a function the first line of code in the routine QUEUE+P does not work and gives a Lisp error.
Dieter Kaiser
The error of this bug report is no longer present in Maxima 5.20post:
(%i13) is(f(a+b+c));
(%o13) unknown
More examples of this type:
(%i14) is(f(a+b+c+d));
(%o14) unknown
(%i15) is(f(a+b+c+d+e));
(%o15) unknown
(%i16) is(f(a*b*c));
(%o16) unknown
Closing this bug report as "works for me".
Dieter Kaiser