[Maxima] Logic algebra
al at beshenov.ru
Wed Apr 9 23:12:00 CDT 2008
On Thursday 10 April 2008 07:08, you wrote:
> Alexey, thanks a lot. I think this will be useful to many people.
> Some random comments.
> (1) I'd like to see this stuff merged into maxima/src eventually.
> Towards that end I think the operators ought to be renamed
> to lowercase. Merging in this stuff would make "and" and "or"
> commutative, which has been mentioned on this mailing list
> before (and creating noncommutative operators "and_then"
> and "or_else").
Actually, the reason why logic.mac names operators in upper case is a conflict
with "and", "or", "not". Also, this code treats 1 and 0 as logical truth and
logical false (just for shorter input and output), and now it does not
distinct "true" and "false" from other atoms (to be fixed). This stuff
doesn't fits in the current Maxima predicates code.
> (2) I suggest renaming "IMPL" to "IMPLIES".
> (4) I recommend changing smashedtogethernames
> to separated_by_underscores.
You are right. (There are already many functions with smashedtogethernames in
src/, so it would be nice to have a kind of coding standard, I think.)
>> Could it be placed in the /share/contrib?
> OK by me.
I'll add some documentation and commit it.
http://beshenov.ru/maxima/logic/ is a bit updated.
Alexey Beshenov <al at beshenov.ru>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: not available
Url : http://www.math.utexas.edu/pipermail/maxima/attachments/20080410/a9fd917c/attachment-0001.pgp
More information about the Maxima