|
Modules and potential elements can be tested against each other
for a few properties.
Return true if M and N are equal as modules.
Return true if x can be coerced into the module M.
Return true if M is a submodule of N. An embedding map of M
in N can be returned by IsSubmodule(M, N).
Return true if M is a free module.
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
|