I have updated computation.spad.pamphlet at: https://github.com/martinbaker/multivector/
Changes are: in ILOGIC domain: * fix triple negation bug * added /\ and \/ simplification rules * redux now recurses General: * updated documentation to match name changes. * various other changes to documentation I have not done any check of the "simplification rules" from an independent source such as the Dyckhoff paper. Also I have not done any work on "simplification rules" for implies function. Martin -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
