next | previous | forward | backward | up | top | index | toc | Macaulay2 website
NCAlgebra :: NCQuotientRing

NCQuotientRing -- Type of a noncommutative ring


This is the type of a quotient of a tensor algebra by a two-sided ideal.

At this point, one cannot define quotients of quotients.

Methods that use an object of class NCQuotientRing :

For the programmer

The object NCQuotientRing is a type, with ancestor classes NCRing < Ring < Type < MutableHashTable < HashTable < Thing.