Mathematical Areas

Commutative Algebra

Magma implements Buchberger's algorithm and Faugere's F4/F5 methods for Groebner bases. Primary decomposition, radical computation, Hilbert series, and syzygy modules are all supported.

All Areas
magma — commutative-algebra
Type ? for help. Type <Ctrl>-D to quit.
Jump to Handbook

Contributors

Gregor Kemper (TU München) has contributed most of the major algorithms of the Invariant Theory module of Magma, together with many other helpful suggestions in the area of Commutative Algebra.

Alexa van der Waall (Simon Fraser) has implemented the module for differential Galois theory.

Handbook Chapter Authors

  • Gröbner Bases — A. Steel, M. Harrison
  • Polynomial Ring Ideal Operations — A. Steel, M. Harrison
  • Local Polynomial Rings — A. Steel
  • Affine Algebras — A. Steel
  • Modules over Multivariate Rings — A. Steel, M. Harrison
  • Invariant Theory — A. Steel
  • Differential Rings — A. van der Waall