mingens -- returns a minimal generatoring set of a graded module

mingens -- returns a minimal generatoring set of a graded module

mingens M -- returns a minimal generating set for the module M, represented as a matrix whose target is the ambient free module of M.

See also:

GroebnerBasis -- the class of all Groebner bases

Ways to use mingens :

mingens GroebnerBasis -- a matrix whose columns are minimal generators of the submodule

Optional arguments :