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.