***** 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;