Magma Computer Algebra System - Mathematical Areas Covered By The System

Mathematical Areas Covered By The System

  • Group theory
Magma includes permutation, matrix, finitely-presented, soluble, abelian (finite or infinite), polycyclic, braid and straight-line program groups. Several databases of groups are also included.
  • Number theory
Magma contains asymptotically-fast algorithms for all fundamental integer and polynomial operations, such as the Schönhage–Strassen algorithm for fast multiplication of integers and polynomials. Integer factorization algorithms include the Elliptic Curve Method, the Quadratic sieve and the Number field sieve.
  • Algebraic number theory
Magma includes the KANT computer algebra system for comprehensive computations in algebraic number fields. A special type also allows one to compute in the algebraic closure of a field.
  • Module theory and linear algebra
Magma contains asymptotically-fast algorithms for all fundamental dense matrix operations, such as Strassen multiplication.
  • Sparse matrices
Magma contains the structured Gaussian elimination and Lanczos algorithms for reducing sparse systems which arise in index calculus methods, while Magma uses Markowitz pivoting for several other sparse linear algebra problems.
  • Lattices and the LLL algorithm
Magma has a provable implementation of fpLLL, which is an LLL algorithm for integer matrices which uses floating point numbers for the Gram–Schmidt coefficients, but such that the result is rigorously proven to be LLL-reduced.
  • Commutative algebra and Gröbner bases
Magma has an efficient implementation of the Faugère F4 algorithm for computing Gröbner bases.
  • Representation theory
Magma has extensive tools for computing in representation theory, including the computation of character tables of finite groups and the Meataxe algorithm.
  • Invariant theory
Magma has a type for invariant rings of finite groups, for which one can primary, secondary and fundamental invariants, and compute with the module structure.
  • Lie theory
  • Algebraic geometry
  • Arithmetic geometry
  • Finite incidence structures
  • Cryptography
  • Coding theory
  • Optimization

Read more about this topic:  Magma Computer Algebra System

Famous quotes containing the words mathematical, areas, covered and/or system:

    “As we speak of poetical beauty, so ought we to speak of mathematical beauty and medical beauty. But we do not do so; and that reason is that we know well what is the object of mathematics, and that it consists in proofs, and what is the object of medicine, and that it consists in healing. But we do not know in what grace consists, which is the object of poetry.”
    —Blaise Pascal (1623–1662)

    “The discovery of the North Pole is one of those realities which could not be avoided. It is the wages which human perseverance pays itself when it thinks that something is taking too long. The world needed a discoverer of the North Pole, and in all areas of social activity, merit was less important here than opportunity.”
    —Karl Kraus (1874–1936)

    “When the light was extinguished,
    She covered me warm,
    And she prayed to the angels
    To keep me from harm—”
    —Edgar Allan Poe (1809–1849)

    “Delight at having understood a very abstract and obscure system leads most people to believe in the truth of what it demonstrates.”
    —G.C. (Georg Christoph)