The following functions access simple properties of a module M.

Generic(M) : ModMPol -> ModMPol

Given a module M, return the generic (or full) module containing M.

BaseRing(M) : ModMPol -> ModMPol

Given a module M, return the coefficient ring P of M (the multivariate polynomial ring or quotient ring over which M is defined).

Given a module M, return the degree of M.

Given a module M, return the quotient relations of M as a sorted sequence of elements (a Gröbner basis) of the generic free module corresponding to M. If M is free, the empty sequence is returned.