The following operations are only available for submodules of
R^((n)), Hom_R(M, N) and R[G], where R is a Euclidean
Domain. If the modules involved are R[G]-modules, the operators refer
to the underlying R-module.
u in M : ModTupRngElt, ModTupRng -> BoolElt
True if the element u lies in the R-module M, where u and M belong to the same R-module.
True if the element u does not lie in the R-module M, where u and M belong to the same R-module.
True if the R-module N is contained in the R-module M, where M and N belong to a common R-module.
True if the R-module N is not contained in the R-module M, where M and N belong to a common R-module.
True if the R-modules N and M are equal, where N and M belong to a common R-module.
True if the R-modules N and M are not equal, where N and M belong to a common R-module.
The following operations are only available for submodules of
R^((n)), Hom_R(M, N) and R[G], where R is a Euclidean
Domain. If the modules involved are R[G]-modules, the operators refer
to the underlying R-module.
M + N : ModTupRng, ModTupRng -> ModTupRng
Sum of the submodules M and N, where M and N belong to a a common R-module.
Intersection of the submodules M and N, where M and N belong to a common R-module.
Given an R-module M, construct the largest submodule of M on which R acts trivially, i.e. the fixed-point space of M.
(Function.) Given a vector v from a tuple module V and a submodule W of V, return the space obtained by including v in W, together with a boolean stating whether including v actually increased the space (i.e. v was not in W).
(Function.) Given a set or sequence S of vectors from a tuple module V and a submodule W of V, return the space obtained by including all vectors of S in W, together with a boolean stating whether including the vectors actually increased the space (i.e. any element of S was not in W).
(Procedure.) Given a vector v from a tuple module V and a submodule W of V, destructively insert v in W.
(Procedure.) Given a set or sequence S of vectors from a tuple module V and a submodule W of V, destructively insert all the elements of S in W.
(Procedure.) Given a vector v from a tuple module V and a submodule W of V, destructively insert v in W. Set f to whether W increases.
(Procedure.) Given a set or sequence S of vectors from a tuple module V and a submodule W of V, destructively insert all the elements of S in W. Set f to whether W increases.[Next] [Prev] [Right] [Left] [Up] [Index] [Root]