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.
Type ? for help. Type <Ctrl>-D to quit.
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.