Aop = oppositeRing A
Given a noncommutative ring A, this creates a noncommutative ring whose defining ideal is generated by the "opposites" - elements whose noncommutative monomial terms have been reversed - of the generators of the defining ideal of A.
|
|
|
|
|
The object oppositeRing is a method function.