Waldek, I have again updated the file computation.spad.pamphlet at: > https://github.com/martinbaker/multivector/
I have now removed the unproven literal. The inverse operator now just generates new values. The program now constracts terms from: 'and', 'or', 'implies' and 'not'. I think that only 3 of these are required and that the 4th operation can be defined in terms of the others. If so, I don't know the best way to do this so I think its safer to use all 4 for now. The program does not apply all possible simplifications so it is not complete but I don't beleave it is wrong (note: double negative!). I have not used 'law of excluded middle' which would just implement boolean algebra. 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.
