Macaulay2 » Documentation
Packages » NCAlgebra :: NCPolynomialRing

next | previous | forward | backward | up | index | toc

NCPolynomialRing -- Type of a noncommutative polynomial ring

Synopsis

Usage:

A = QQ{x,y}

Description

This is the type of a noncommutative polynomial ring over a commutative ring R (i.e. a tensor algebra over R). It has parent type NCRing.

i1 : A = QQ{x,y}

o1 = A

o1 : NCPolynomialRing

Methods that use an object of class NCPolynomialRing :

ambient(NCPolynomialRing) (missing documentation)
gbFromOutputFile(NCPolynomialRing,String) -- see gbFromOutputFile -- Read in a NCGroebnerBasis from a Bergman output file.
ideal(NCPolynomialRing) -- The defining ideal of an NCPolynomialRing
NCPolynomialRing / NCIdeal -- Construct a NCQuotientRing

For the programmer

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