i1 : R = QQ[x,y,z]
o1 = R
o1 : PolynomialRing
|
i2 : I = (ideal vars R)^3
3 2 2 2 2 3 2 2 3
o2 = ideal (x , x y, x z, x*y , x*y*z, x*z , y , y z, y*z , z )
o2 : Ideal of R
|
i3 : S3 = symmetricGroupActors R
o3 = {| y z x |, | y x z |, | x y z |}
o3 : List
|
i4 : A = action(I,S3)
o4 = Ideal with 3 actors
o4 : ActionOnGradedModule
|
i5 : c = character(A,0,10)
o5 = Character over QQ
(0, {3}) | 1 2 10
(0, {4}) | 0 3 15
(0, {5}) | 0 3 21
(0, {6}) | 1 4 28
(0, {7}) | 0 4 36
(0, {8}) | 0 5 45
(0, {9}) | 1 5 55
(0, {10}) | 0 6 66
o5 : Character
|
i6 : -c
o6 = Character over QQ
(0, {3}) | -1 -2 -10
(0, {4}) | 0 -3 -15
(0, {5}) | 0 -3 -21
(0, {6}) | -1 -4 -28
(0, {7}) | 0 -4 -36
(0, {8}) | 0 -5 -45
(0, {9}) | -1 -5 -55
(0, {10}) | 0 -6 -66
o6 : Character
|