Predicates

The following functions test predicates of modules. For binary operations, the modules must be compatible.

IsZero(M) : ModMPol -> ModMPol

Given a module M, return whether M is the zero module.

M subset N : ModMPol, ModMPol -> BoolElt

Given compatible modules M and N, return whether M is a submodule of N.

M eq N : ModMPol, ModMPol -> BoolElt

Given compatible modules M and N, return whether M equals N.

IsHomogeneous(M) : ModMPol -> BoolElt

Given a module M, return whether M is homogeneous (w.r.t. the weights on the columns of M and the variables of the coefficient ring P).