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.