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.

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

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

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