Aop = oppositeRing A
Given an NCRing A, this creates an NCRing whose defining NCIdeal is generated by the "opposites" - elements whose noncommutative monomial terms have been reversed - of the generators of the defining NCIdeal of A. If the coefficient ring of A is a Bergman ring, an NCGroebnerBasis is computed for Aop.
|
|
|
|
|
The object oppositeRing is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/NCAlgebra/NCAlgebraDoc.m2:3616:0.