ring(MonomialAlgebra) -- Multigraded polynomial ring associated to a monomial algebra

Synopsis

Function: ring
Usage:

ring M
Inputs:
- M, a MonomialAlgebra
Outputs:
- a ring

Description

Returns the multigraded polynomial ring associated to M.

i1 : M = monomialAlgebra {1,4,8,9,11}

      ZZ
o1 = ---[x ..x ]
     101  0   5

o1 : MonomialAlgebra generated by {{11, 0}, {0, 11}, {1, 10}, {4, 7}, {8, 3}, {9, 2}}

i2 : ring M

      ZZ
o2 = ---[x ..x ]
     101  0   5

o2 : PolynomialRing

i3 : degrees ring M

o3 = {{11, 0}, {0, 11}, {1, 10}, {4, 7}, {8, 3}, {9, 2}}

o3 : List