[Next][Prev] [Right] [Left] [Up] [Index] [Root]
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.
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012