degreesRing(Ring) -- the ring of degrees

Synopsis

Function: degreesRing
Usage:

degreesRing R
Inputs:
- R, a ring
Outputs:
- a polynomial ring, actually Laurent polynomial ring

Description

This function produces a Laurent polynomial ring in n variablesT_0, ... , T_{n-1} whose monomials are the degrees of elements of the given ring. If n=1, then the variable has no subscript.

i1 : R =  ZZ [x, y];

i2 : degreesRing R

o2 = ZZ[T]

o2 : PolynomialRing

i3 : S = ZZ[x,y, Degrees=>{{1,1},{1,1}}];

i4 : degreesRing S

o4 = ZZ[T ..T ]
         0   1

o4 : PolynomialRing