I have updated my logic-related code, I have added a lot more since I
mentioned it on this forum.
Would you be interested in including it with FriCAS? Waldek: I think I
have addressed your earlier comments?
The code is here:
https://github.com/martinbaker/multivector/blob/master/logic.spad
The documentation is here:
http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/logic/
I have also updated the computation-related code, moving the
intutionistic logic domain from computation.spad to logic.spad and
generally tidying up the code and improving output.
The code is here:
https://github.com/martinbaker/multivector/blob/master/computation.spad
The documentation is here:
http://www.euclideanspace.com/prog/scratchpad/mycode/computation/
notes:
1) Since I have moved intutionistic logic domain from computation.spad
to logic.spad it would be good if you would like to update/add them at
the same time.
2) I have included Logic category, this is the same as existing Logic
category in Boolean.spad as it is intended to replace it. Since this
category is more general than just Boolean I thought it more appropriate
to put it in logic.spad.
3) It would be really good if the precedence of /\ and \/ infix
operators could be made higher than *. This is to allow Clifford
algebras to work properly. If there is some conflict with logic domains,
in doing this, is there a way we could fix this at the same time? There
was a plan to allow precedence to change for different domains but I
have since thought about this and I now think that would be a bad idea.
4) FriCAS has allowed unicode output for a long time, is it about time
this was allowed in library code? I have not yet used this but it would
have been useful for computation-related code, especially lambda
functions. Its a long time since I asked about this so I thought its
worth asking again.
Martin
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
