Macaulay2 » Documentation
Packages » NCAlgebra :: NCQuotientRing
next | previous | forward | backward | up | index | toc

NCQuotientRing -- Type of a noncommutative ring

Description

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:

  • 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.


The source of this document is in NCAlgebra/NCAlgebraDoc.m2:275:0.