On 18 March 2014 22:32, Andrey G. Grozin <[email protected]> wrote: > >>> By the way, mathemagix is quite similar to Axiom in its main ideas - >>> domains, etc. >> >> Categories also? How much of Axiom could be ported to mathemagix? >> What would be required in order to attempt this? > > Yes, see www.mathemagix.org/. I must say I never managed to build > mathemagix; what I say is based on several talks and (impresive!) > demonstrations I attended. It does not have any sufficiently current > "release", one has to check it out from svn and build. And its mathematical > knowledge is far less than that of Axiom/FriCAS. But what exists seems well > thought-out and efficient. See > http://hal-polytechnique.archives-ouvertes.fr/docs/00/78/55/49/PDF/mathemagix-user-guide.pdf > about categories in mathemagix. >
I tried Mathemagix. I agree with you that it is hard to build. After several false starts, re-reading the install instructions and even ignoring some significant errors during the build process I did finally manage to build it. I repeated the build on another virgin system and ended up in a similar situation, although again I eventually obtained a running system. Mathemagix looks like it has involved a huge effort. I wonder how much time and resources have gone into it and what might be planned or hope for in the future. Obviously the build system needs some improvement! As usual it seems such a pity that CAS resources are spread so thin. Many people are inventing new systems and languages while so much more could be accomplished with those that already exist - if only we could somehow attract more users and developers. I've read the references that you provided. Yes it is interesting and has a few new ideas that go beyond Axiom/FriCAS. In particular it implements the forall quantifier - something that was also added to OpenAxiom a few years ago. The references provide rather compelling reasons for this addition which apparently would allow one to considerably reduce the need to define packages. But actually the main reason for trying it was to see how well it interfaced with TeXmacs as a model for what might be possible with the FriCAS/TeXmacs interface. It would be good to find some kind of specific tutorial for that. Meanwhile if anyone else is motivated to take a look at this system I would be happy to make suggestions if you run into trouble building it on your system. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
