#1351 is(if a>0 and a>0 and a>0 ...) => internal error

closed
nobody
5
2010-03-21
2008-02-11
No

is(if a>0 and a>0 then 1) => unknown (OK)

is(if a>0 and a>0 and a>0 then 1)
=>
Maxima encountered a Lisp error:
Error in PROGN [or a callee]: Bad plist
((MGREATERP $A (0 DATA (((MGRP ...

Same for

is(if a>0 and a>0 and a>0 then true else false)

i.e. it is not because the return value is a non-boolean

Maxima 5.13.0 http://maxima.sourceforge.net
Using Lisp GNU Common Lisp (GCL) GCL 2.6.8 (aka GCL)

Discussion

  • Robert Dodier

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

    Dieter Kaiser - 2009-05-24

    This bug may be related to the bug SF[1891911] "is(f(a+b+c)) --> Lisp error".

    Here we have an even or odd number of arguments to AND. The algorithm fails at the same point in the routine QUEUE+P in db.lisp as for the bug SF[1891911].

    Dieter Kaiser

     
  • Dieter Kaiser

    Dieter Kaiser - 2010-03-21

    The error of this bug report is no longer present in Maxima 5.20post. We get:

    (%i1) is(if a>0 and a>0 and a>0 then 1);
    (%o1) unknown

    (%i2) is(if a>0 and a>0 and a>0 then true else false);
    (%o2) 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