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 |
The object NCPolynomialRing is a type, with ancestor classes NCRing < Ring < Type < MutableHashTable < HashTable < Thing.