Hi Stephan,
sorry for the late reply. Some time ago there was some discussion
about this package. Perhaps it is useful to you:
http://beshenov.ru/maxima/logic/
On 8/6/09, Stephan Lukits <stephan at lukits.de> wrote:
> if (b |= a or b) then print("'b |= a or b': OK")
> else print("'b |= a or b': FAIL");
There is a convenient way to create a test script.
Just put two expressions at a time in the file, with the
first being the input and the second the expected output.
e.g.
b |= a or b;
true;
Then batch("mytest.mac", test); runs the test: it evaluates
the first expression and compares it to the second.
(Input files for run_testsuite are the same.)
Hope this helps,
Robert Dodier