code for unevaluated Boolean and conditional expressions
Subject: code for unevaluated Boolean and conditional expressions
From: Barton Willis
Date: Thu, 4 May 2006 04:38:43 -0500
-----Robert Dodier wrote: -----
>I have written some code to handle unevaluated
>Boolean and conditional expressions. Please help me by
>testing the code and/or giving constructive criticism.
What's the story for translated functions? Consider:
(%i1) load("boolsimp.lisp")$ <-- the latest version
(%i2) f(x) := if x < 0 then -1 else 1$
(%i3) f(a);
(%o3) if a<0 then -1 else 1 <-- OK
(%i4) translate(f)$
(%i5) f(a);
Maxima was unable to evaluate the predicate:
a>0
-- an error. Quitting. To debug this try debugmode(true);
Does this problem go away when Maxima is rebuilt using boolsimp?
Or is it not a problem?
Barton