Aldor

Aldor has its origins in the (now free) computer algebra system Axiom. Axiom is in its strength comparable to Maple, Mathematica, MuPAD (only to name a few), but it adds one important feature and that is types.  Currently, there are two forks of Axiom, namely FriCAS and OpenAxiom.

Aldor is used as the library extension language of Axiom but can also produce efficient standalone programs by building on libraries like libaldor and algebra.

Aldor is available in source and binary form under the Apache License 2.0. Currently the open source development happens at https://github.com/pippijn/aldor with the corresponding mailing list at https://groups.google.com/forum/#!forum/aldor-devel. Because of SPAM you must be subscribed in order to post messages to this list.

Bronstein's work is also available under a free license from https://gforge.inria.fr/projects/bronstein-codes/.

(01-Aug-2004) I have produced a Graph of Categories and Domains of the Aldor/Algebra libraries which can be viewed with Xfig. (Note that you can play with the depths.) Xfig can produce a poster (8 pages, DIN A4) of the category/domain graph of libaldor and algebra that should be printed on a color printer. It can be nicely glued together.

Some links in the .fig file do not appear on the poster. I have replaced them by adding tags on the relevant domains. A description can be found on the upper right corner of the poster.