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:
“All science requires mathematics. The knowledge of mathematical things is almost innate in us.... This is the easiest of sciences, a fact which is obvious in that no one’s brain rejects it; for laymen and people who are utterly illiterate know how to count and reckon.”
—Roger Bacon (c. 1214–c. 1294)
“... two great areas of deafness existed in the South: White Southerners had no ears to hear that which threatened their Dream. And colored Southerners had none to hear that which could reduce their anger.”
—Sarah Patton Boyle, U.S. civil rights activist and author. The Desegregated Heart, part 1, ch. 16 (1962)
“Our own country furnishes antiquities as ancient and durable, and as useful, as any; rocks at least as well covered with lichens, and a soil which, if it is virgin, is but virgin mould, the very dust of nature. What if we cannot read Rome or Greece, Etruria or Carthage, or Egypt or Babylon, on these; are our cliffs bare?”
—Henry David Thoreau (1817–1862)
“Nobody is glad in the gladness of another, and our system is one of war, of an injurious superiority. Every child of the Saxon race is educated to wish to be first. It is our system; and a man comes to measure his greatness by the regrets, envies, and hatreds of his competitors.”
—Ralph Waldo Emerson (1803–1882)