Martin Baker <[email protected]> writes: [...]
| OpenAxiom PropositionalLogic uses Kernel domain as its representation | and I have some have some issues trying to understand this, as | discussed here: | http://groups.google.com/group/fricas-devel/browse_thread/thread/f39862f4a243239b?hl=en# | (especially as PropositionalLogic and Kernel have minimal | documentation) If and when you port the OpenAxiom domain to FriCAS, please consider also sending us any additional documentation you might have added that you found useful. Of course, we would appreciate if your contirbution could also be included in OpenAxiom, so that the flattery isn't just one way :-) -- Gaby -- 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.
