Martin Baker <ax87...@martinb.com> 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 ------------------------------------------------------------------------------ All the data continuously generated in your IT infrastructure contains a definitive record of customers, application performance, security threats, fraudulent activity and more. Splunk takes this data and makes sense of it. Business sense. IT sense. Common sense. http://p.sf.net/sfu/splunk-d2dcopy1 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
