Given a module M, return whether M is the zero module.
Given compatible modules M and N (ie, embedded in the same ambient module),
return whether M is a submodule of N. This will generally involve module
Gröbner basis and normal form computations to check that the generators of
M lie in N.
Given compatible modules M and N (ie, embedded in the same ambient module),
return whether M equals N. The function checks that appropriate module
Gröbner bases of M and N are equal.
Given an R-module M, return whether M is free. M is free
iff M is isomorphic to the module Rk for some k. Such a k need
not equal the degree of M but will equal the rank of M (as defined
in the next section) if M is free. The function checks whether a minimised
presentation of M has trivial relations or not.
V2.28, 13 July 2023