up previous next
4.12.2 Quotient Modules
***** NOT YET UPDATED TO CoCoA-5: follow with care *****

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 ::= QQ[x,y];
  M := Module([x-y, x^2-y^2, x^3+xy^2], [y, x^2, x^2y]);
  Q := R^3/M;