[Next][Prev] [Right] [Left] [Up] [Index] [Root]

Operations on Modules

Modules and potential elements can be tested against each other for a few properties. Intersections of modules can also be taken.

M eq N : ModOrd, ModOrd -> BoolElt
Return true if M and N are equal as modules.
x in M : Any, ModOrd -> BoolElt
Return true if x can be coerced into the module M.
M1 meet M2 : ModOrd, ModOrd -> ModOrd
Return the intersection of the modules M1 and M2.
M subset N : ModOrd, ModOrd -> BoolElt
Return true if M is a submodule of N. An embedding map of M in N can be returned by IsSubmodule(M, N).
 [Next][Prev] [Right] [Left] [Up] [Index] [Root]