On Thursday 13 Oct 2011 20:12:41 Waldek Hebisch wrote: > As Gaby wrote, you are trying to translate too much. Below is quick > translation of what I believe is relevant (compiles in FriCAS 1.1.4).
Thanks very much, I'll try it out and perhaps add some documentation. This saves me a lot of work (I really don't enjoy translating between different flavors of Axiom!). At some stage in the future I would like to extend to include predicate logic (quantifiers) and to link to lambda calculus and cartesian closed categories. On Thursday 13 Oct 2011 19:05:10 Gabriel Dos Reis wrote: > Hmm, I think you should not need to get there -- unless you also want to > implement the full universal algebra machinery (which isn't completely > done in OpenAxiom yet.) Well yes, I would like to be able to model universal algebra, especially F-(co)algebras and T-(co)algebras and their relationship to stuff like monads. Although I get the impression you are implementing it more as a metamodel of axiom itself? There is a more practical issue here: I assumed that, although the flavours of SPAD are slowly diverging, the library of categories, domains and packages would roughly track each other. So I was trying to mirror them all in FiCAS, from what you guys are saying I guess there is no point in trying to do that. So new users to axiom will have to choose a fork based on ideology, that is emerging, and hope it has the combination of domains they need. Thanks, Martin ------------------------------------------------------------------------------ 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-d2d-oct _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
