Quotient Modules

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