NCQuotientRing -- Type of a noncommutative ring

Methods that use an object of class NCQuotientRing :

• ambient(NCQuotientRing) -- Ambient ring of an NCQuotientRing
• hilbertBergman(NCQuotientRing) -- see hilbertBergman -- Calls Bergman to compute the Hilbert series of an NCQuotientRing
• homogDual(NCQuotientRing) -- see homogDual -- Computes the dual of a pure homogeneous ideal
• ideal(NCQuotientRing) -- Defining ideal of an NCQuotientRing in its ambient ring
• normalElements(NCQuotientRing,ZZ,Symbol,Symbol) -- see normalElements -- Finds normal elements
• quadraticClosure(NCQuotientRing) -- see quadraticClosure -- Creates the subideal generated by quadratic elements of a given ideal

For the programmer

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