Magma Computational Algebra System 2.20.9 | 188.9 MB
Magma is a Computer Algebra system designed to solve problems in algebra, number theory, geometry and combinatorics that may involve sophisticated mathematics and which are computationally hard. Magma provides a mathematically rigorous environment which emphasizes structural computation. A key feature is the ability to construct canonical representations of structures, thereby making possible such operations as membership testing, the determination of structural properties and isomorphism testing. The kernel of Magma contains implementations of many of the important concrete classes of structure in ﬁve fundamental branches of algebra, namely group theory, ring theory, ﬁeld theory, module theory and the theory of algebras. In addition, certain families of structures from algebraic geometry and ﬁnite incidence geometry are included.