Given an integer n, this method outputs the character ring of T = $(\mathbb C^*)^n$.
i1 : R = makeCharacterRing 4 o1 = R o1 : PolynomialRing |
i2 : describe R
o2 = ZZ[T ..T , Degrees => {4:1}, MonomialOrder => {MonomialSize => 32}, DegreeRank => 1, Inverses => true]
0 3 {Weights => {4:1} }
{GroupLex => 4 }
{Position => Up }
|
The object makeCharacterRing is a method function.