#1352 is(f(a+b+c)) --> Lisp error

closed
nobody
6
2010-03-21
2008-02-12
No

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

Discussion

  • Barton Willis

    Barton Willis - 2008-02-12

    Logged In: YES
    user_id=895922
    Originator: YES

    See also SF bug 1726550 "not bugs." These bugs might be the same.

     
  • Barton Willis

    Barton Willis - 2008-02-14

    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

     
  • Robert Dodier

    Robert Dodier - 2008-06-21
    • labels: 460522 --> Lisp Core - Assume
     
  • Dieter Kaiser

    Dieter Kaiser - 2009-05-24

    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

     
  • Dieter Kaiser

    Dieter Kaiser - 2010-03-21

    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

     
  • Dieter Kaiser

    Dieter Kaiser - 2010-03-21
    • status: open --> closed
     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks