|
|
quo<M | L> : ModMatRng, List -> ModMatRng
Given an R-module M, construct the quotient module P = M/N, where
N is the submodule generated by the elements of M specified by the
list L. Each term Li of the list L must be an expression defining
an object of one of the following types:
- (a)
- A sequence of n elements of R defining an element of M;
- (b)
- A set or sequence whose terms are elements of M;
- (c)
- A submodule of M;
- (d)
- A set or sequence whose terms are submodules of M.
The generators constructed for N consist of the elements specified by
terms Li together with the stored generators for submodules specified
by terms of Li.
The constructor returns the quotient module P and the natural
homomorphism f : M -> P.
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
|
|