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.