[Maxima] How to determine logical equivalence
robert.dodier at gmail.com
Fri Aug 7 00:41:38 CDT 2009
sorry for the late reply. Some time ago there was some discussion
about this package. Perhaps it is useful to you:
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.
b |= a or b;
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,
More information about the Maxima