mingens
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
.
