(%i1) f(x) := (prederror : 'false, is(x <= -1))$
It seems that 'f' is OK:
After translation, f(a) --> error. This is bogus:
MACSYMA was unable to evaluate the predicate:
I think that the reason for the difference is that
untranslated code evaluates predicates using 'mevalp'
while translated code uses 'is-bool-check.'
Maxima version: 5.9.1
Maxima build date: 7:34 9/24/2004
host type: i686-pc-mingw32
lisp-implementation-type: Kyoto Common Lisp
lisp-implementation-version: GCL 2.6.5
Log in to post a comment.