From: Robert D. <rob...@us...> - 2006-05-23 04:19:55
|
Update of /cvsroot/maxima/maxima/share/contrib/boolsimp In directory sc8-pr-cvs7.sourceforge.net:/tmp/cvs-serv4681/contrib/boolsimp Modified Files: boolsimp.lisp Log Message: Add a comment to help remember some future to-do items. Index: boolsimp.lisp =================================================================== RCS file: /cvsroot/maxima/maxima/share/contrib/boolsimp/boolsimp.lisp,v retrieving revision 1.9 retrieving revision 1.10 diff -u -d -r1.9 -r1.10 --- boolsimp.lisp 5 May 2006 14:31:38 -0000 1.9 +++ boolsimp.lisp 23 May 2006 04:19:02 -0000 1.10 @@ -15,6 +15,8 @@ ; and simplify baz assuming not foo ; - flatten conditionals -- nested if --> if -- elseif -- elseif -- elseif -- else ; - arithmetic on conditionals -- distribute arithmetic ops over if +; - make up rules via tellsimp & friends for integrate / sum / diff applied to conditionals +; - knock out redundant clauses in simplification (i.e. if x => y then knock out y) ; Examples: ; |