Mathemagix is a free computer algebra and analysis system under development. It consists of the following ingredients.

The Mathemagix language

Mathemagix provides a new high level language, which is imperative, strongly typed, with polymorphim and parametrized types. Mathemagix can be used as an “extension language”, i.e. easy to embed into other applications and to extend with existing libraries written in other languages like C or C++. An interesting feature is that this extension mechanism supports template types. In the future, the Mathemagix language will provide more and more powerful constructs for allowing the compiler to generate extremely fast code (comparable to the speed of C or C++).

Currently, a -version of the compiler mmc is available, which also provides an efficient interpreter mmi. The old and rather slow Mmx-light interpreter is also still supported.

• Download the PDF version of the Mathemagix language manual.

The Mathemagix packages

Standard libraries are available for algebraic computation (large numbers, polynomials, power series, matrices, etc. based on FFT and other fast algorithms) for exact and approximate computation. This should make Mathemagix particularly suitable as a bridge between symbolic computation and numerical analysis. The packages are written in C++. They can both be used from the new compiler mmc, from the old interpreter Mmx-light, or as standalone C++ libraries.

• Separate documentation for each of the packages is available.

• Download the PDF version of the Mathemagix packages manual.

• We also maintain a “FAQ” with “Frequently Asked Questions”.

Front-ends

A graphical interface

The program can be used within GNU TeXmacs as a primary interface but also provides the user with a usual ascii shell mode and a convenient advanced programmer interface.

A geometric modeler

The program is connected to the algebraic-geometric modeler axel as a tool for visualisation and geometric computation.