S = toCommRing R
This method takes a noncommutative ring and returns the quotient of a commutative polynomial ring (or an exterior algebra, if SkewCommutative=>true) on the same generators by the defining relations of the input ring.
|
|
|
|
|
|
|
|
|
The object toCommRing is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/AssociativeAlgebras/doc.m2:901:0.