On Tue, 18 Mar 2014, Bill Page wrote:
Excellent. Earlier you wrote that the translation rules are
incomplete. Is there a document somewhere that describes what works
and what does not?
What works now:
* powers, fractions (fraction bar), square (and higher) roots
* matrices, determinants
* indefinite and definite integrals
* sums, products
* some symbols: infiniti, pi, empty set, etc.
/usr/share/TeXmacs/plugins/fricas/progs/fricas-input.scm can be extended
to support 2D input for additional math constructs.
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 worry about the speed of TeXmacs for the kind of thing that you
suggest. Has performance of TeXmacs improved significantly? Of
course this is mitigated quite a bit by the speed of the computer
hardware we are using these days but still, people's expectation is
that "browsing" through the FriCAS documentation in hyperdoc or it's
replacement should be very snappy.
Switching paper mode from pages to papyrus makes TeXmacs much quicker
(optimizing page breaks is expensive).
Andrey
--
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.
