i2 : T = diagonalAction(matrix {{0,1,-1,1},{1,0,-1,-1}}, R)
* 2
o2 = R <- (QQ ) via
| 0 1 -1 1 |
| 1 0 -1 -1 |
o2 : DiagonalAction
|
i3 : S = R^T
o3 = 4 2 3 5 3 2 6 3 3 2
QQ[x x x x , x x x x , x x x , x x x , x x x ]
1 2 3 4 1 2 3 4 1 3 4 1 3 4 1 2 3
o3 : RingOfInvariants
|