Implemented in M2FreeAlgebra, and M2FreeAlgebraQuotient.
References Ring::Ring().
Referenced by appendFromModuleMonom().