The Magma System

Magma is a radically new system designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics. Magma provides a mathematically rigorous environment for computing with algebraic and geometric objects. The design of Magma emphasizes structural computation, i.e., the ability to construct canonical representations of structures, thereby permitting such operations as membership testing, determination of structural properties and isomorphism testing.

The system incorporates:

• A translator/interpreter for the Magma language (see Language). In this language, algebraic structures and their morphisms are first class objects.
• C kernel implementation of important algebraic categories, together with the best-known algorithms for them (see Magmas (or Structures) and Intrinsics).
• Additional functions coded in the Magma language (see Libraries of Functions in the Magma Language).
• A number of databases of important structures (see Databases of Structure Definitions).
• Documentation of the system, both online and hard-copy (see Overview and Documentation). Many examples of Magma code are included (see Example).

Subscreens

• Magma Updates