Next:
Introduction
Up:
General Information
Overview of Magma V2.9 Features
Introduction
The Magma Philosophy
Summary of this Document
The Magma Language and System
The Magma User Language
The Magma Environment
Groups
Permutation Groups
Matrix Groups
Finitely Presented Groups
Generic Abelian Groups
Finitely-Presented Abelian Groups
Polycyclic Groups
Finite Soluble Groups
Finite
p
-Groups
Groups Defined by Rewrite Systems
Automatic Groups
Groups with Elements given as Straight-Line Programs
Braid Groups
Subgroups of
PSL
(2,
R
)
Semigroups and Monoids
Finitely Presented Semigroups
Monoids Defined by Rewrite Systems
Lie Theory
Root Datum for Lie Theory
Coxeter Groups
Finite Groups of Lie Type
Complex Reflection Groups
Rings and their Fields
The Rational Field and its Ring of Integers
Univariate Polynomial Rings
Residue Class Rings of Univariate Polynomial Rings
Finite Fields
Galois Rings
Number Fields and their Orders
General Algebraic Function Fields
Discrete Valuation Rings
The Real and Complex Fields
Newton Polygons
Local Rings and Fields
Power, Laurent and Puiseux Series Rings
Lazy Power Series Rings
Algebraically Closed Fields
Commutative Algebra
Multivariate Polynomial Rings
Affine Algebras
Modules over Affine Algebras
Linear Algebra and Module Theory
Matrices
Vector Spaces
Free Modules
Modules over Dedekind domains
Lattices and Quadratic Forms
Lattices
Binary Quadratic Forms
Algebras
Finitely Presented Associative Algebras
General Finite-Dimensional Algebras
Finite-Dimensional Associative Algebras
Quaternion Algebras
Group Algebras
Matrix Algebras
Finite-Dimensional Lie Algebras
Representation Theory
Modules over an Algebra
Character Theory
Invariants of Finite Groups
Homological Algebra
Basic Algebras
Chain Complexes
Algebraic Geometry
Schemes
General Algebraic Curves
Rational Curves and Conics
Elliptic Curves
Hyperelliptic Curves
Modular Forms
K3 Surface Database
Resolution Graphs and Splice Diagrams
Finite Incidence Structures
Enumerative Combinatorics
Graphs
Incidence Structures and Designs
Finite Planes
Incidence Geometry
Error-correcting Codes
Linear Codes over Finite Fields
Linear Codes over
Cryptography
Pseudo-Random Sequences
Mathematical databases
Documentation
Bibliography