I have now implemented the following simplification rules: ~T -> _|_ ~(~T) -> T ~x /\ x -> _|_ x /\ ~x -> _|_ x /\ x -> x _|_ /\ x -> _|_ x /\ _|_ -> _|_ T \/ x -> T x \/ T -> T
in computation.spad.pamphlet at: https://github.com/martinbaker/multivector/ If you would like to check the 'truth tables' that they produce they display best in html on this page: http://www.euclideanspace.com/maths/standards/program/mycode/computation/intuitionistic/ 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.
