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 : J = ideal(x^3,y^3,z^3)
3 3 3
o3 = ideal (x , y , z )
o3 : Ideal of R
|
i4 : S3 = symmetricGroupActors R
o4 = {| y z x |, | y x z |, | x y z |}
o4 : List
|
i5 : A1 = action(I,S3)
o5 = Ideal with 3 actors
o5 : ActionOnGradedModule
|
i6 : A2 = action(J,S3)
o6 = Ideal with 3 actors
o6 : ActionOnGradedModule
|
i7 : c1 = character(A1,0,10)
o7 = 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
o7 : Character
|
i8 : c2 = character(A2,0,10)
o8 = Character over QQ
(0, {3}) | 0 1 3
(0, {4}) | 0 1 9
(0, {5}) | 0 2 18
(0, {6}) | 0 3 27
(0, {7}) | 0 4 36
(0, {8}) | 0 5 45
(0, {9}) | 1 5 55
(0, {10}) | 0 6 66
o8 : Character
|
i9 : c1 - c2
o9 = Character over QQ
(0, {3}) | 1 1 7
(0, {4}) | 0 2 6
(0, {5}) | 0 1 3
(0, {6}) | 1 1 1
o9 : Character
|