up previous next
4.12.2 Quotient Modules
If M is a CoCoA module which is a submodule of the free module R^k for some ring R, then R^k/M represents a quotient module. It has type TAGGED("Quotient").

Example
Use R ::= Q[x,y];
M:= Module([x-y,x^2-y^2,x^3+xy^2],[y,x^2,x^2y]);
Q := R^3/M;