Magma (computer algebra system)

From Wikipedia, the free encyclopedia

(Redirected from Magma computer algebra system) Magma is a computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics. It is named after the algebraic structure magma. It runs on Unix-like and Linux based operating systems, as well as Windows.
Developer(s)

Magma

Contents
1 Introduction 2 History 3 Mathematical areas covered by the system 4 See also 5 References 6 External links
Stable release Type License Website

Computational Algebra Group, School of Mathematics and Statistics, University of Sydney 2.19 / December 4, 2012

Operating system Cross-platform Computer algebra system Cost recovery (non-commercial proprietary) magma.maths.usyd.edu.au (http://magma.maths.usyd.edu.au/)

Introduction
Magma is produced and distributed by the Computational Algebra Group (http://magma.maths.usyd.edu.au/magma/CayMagCAG/CayMagCAG.html) within the School of Mathematics and Statistics at the University of Sydney. In late 2006, the book Discovering Mathematics with Magma (http://www.springer.com/math/cse/book/978-3-54037632-3) was published by Springer as volume 19 of the Algorithms and Computations in Mathematics series.[1] The Magma system is used extensively within pure mathematics. The Computational Algebra Group maintain a list of publications that cite Magma, and as of 2010 there are about 2600 citations, mostly in pure mathematics, but also including papers from areas as diverse as economics and geophysics.[2]

History
The predecessor of the Magma system was named Cayley (19821993), after Arthur Cayley. Magma was officially released in August 1993 (version 1.0). Version 2.0 of Magma was released in June 1996 and subsequent versions of 2.X have been released approximately once per year.

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 SchnhageStrassen 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,[3] which is an LLL algorithm for integer matrices which uses floating point numbers for the GramSchmidt coefficients, but such that the result is rigorously proven to be LLLreduced. Commutative algebra and Grbner bases Magma has an efficient implementation of the Faugre F4 algorithm for computing Grbner 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

See also
Comparison of computer algebra systems Sage, an open source computer algebra system

References
1. ^ http://magma.maths.usyd.edu.au/magma/dmwm/ 2. ^ http://magma.maths.usyd.edu.au/magma/citations/ 3. ^ Cannon J. (July 2006). "Magma 2.13 release notes" (http://magma.maths.usyd.edu.au/magma/htmlhelp/rel/node29.htm).

External links
Official website (http://magma.maths.usyd.edu.au/) Magma Free Online Calculator (http://magma.maths.usyd.edu.au/calc/) Magma's High Performance for computing Groebner Bases (http://magma.maths.usyd.edu.au/users/allan/gb/) Magma's High Performance for computing Hermite Normal Forms of integer matrices (http://magma.maths.usyd.edu.au/users/allan/mat/hermite.html) Magma V2.12 is apparently "Overall Best in the World at Polynomial GCD" :-) (http://magma.maths.usyd.edu.au/users/allan/gcdcomp.html) Magma example code (http://www.math.harvard.edu/computing/magma/) Retrieved from "http://en.wikipedia.org/w/index.php?title=Magma_(computer_algebra_system)&oldid=552002780" Categories: Functional languages Numerical programming languages Linux computer algebra system software Cross-platform software This page was last modified on 24 April 2013 at 19:00. Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.