SAL Home MATH Computer Algebra 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 basic design principles are:

  • Algebraic structures and their morphisms as first class objects.
  • Language design reflecting the structure of modern algebra.
  • Kernel implementation of important structures to achieve outstanding performance.
  • A strong typing scheme derived from modern algebra whereby types correspond to algebraic structures (magmas) to provide mathematical rigour and clarity.
  • Seamless integration of algorithmic and database knowledge.
Structures supported range across group theory (finitely presented groups, blackbox groups, abelian groups, soluble groups, permutation groups, matrix groups, finitely presented semigroups, and characters of finite groups), rings (the integers with optimized arithmetic, residue class rings, univariate and multivariate polynomial rings, invariate rings of finite groups, valuation rings), fields (finite fields, quadratic fields, local fields, cyclotomic fields, number fields, rational function fields, and the rationals), algebras (group algebras, matrix algebras, finitely presented algebras, associative algebras, and algebras defined by structure constants), power and Laurent series,vector spaces, modules, lattices, algebraic geometry (elliptic curves, zero-dimensional varieties), graphs, incidence structures and designs, finite planes, enumerative combinatorics, and coding theory.

Current Version:   2.6

License Type:   Non-commercial software, cost recovery by subscription license, details at

Home Site:

Source Code Availability:


Available Binary Packages:

  • Debian Package: No
  • RedHat RPM Package: No
  • Other Packages: None

Targeted Platforms:

Unix (including Linux) and MS-DOS. Platforms include SUN SPARCstations, DECstation under Ultrix, IBM RS6000 under AIX, HP9000/700, SGI under IRIX, and PC 486/Pentium.

Software/Hardware Requirements:

13-20MB of disk space and 16MB of memory for a minimal installation; 60MB of disk space and 32MB memory for a more complete system.

Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See An Screen Shot? (not yet)

  SAL Home   |   Mathematics   |   Computer Algebra Systems

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.