i3 : Q={{{1, 1}, {2, 2}}, {{2, 1}, {3, 2}}, {{3, 1}, {4, 2}}, {{3, 2}, {4, 3}}, {{3, 3}, {4, 4}}, {{2, 3}, {3, 4}}, {{1, 3}, {2, 4}}, {{1, 2}, {2, 3}}};
|
i4 : I = polyoIdeal Q
o4 = ideal (x x - x x , x x - x x , x x - x x ,
4,4 2,3 4,3 2,4 2,2 1,1 2,1 1,2 4,2 3,1 4,1 3,2
------------------------------------------------------------------------
x x - x x , x x - x x , x x - x x , x x
2,3 1,1 2,1 1,3 4,3 3,1 4,1 3,3 4,4 1,3 4,3 1,4 3,4 2,3
------------------------------------------------------------------------
- x x , x x - x x , x x - x x , x x -
3,3 2,4 4,2 2,1 4,1 2,2 2,3 1,2 2,2 1,3 2,4 1,1
------------------------------------------------------------------------
x x , x x - x x , x x - x x , x x - x x ,
2,1 1,4 4,4 3,1 4,1 3,4 4,3 3,2 4,2 3,3 3,4 1,3 3,3 1,4
------------------------------------------------------------------------
x x - x x , x x - x x , x x - x x , x x
3,2 2,1 3,1 2,2 4,2 1,1 4,1 1,2 2,4 1,2 2,2 1,4 4,4 3,2
------------------------------------------------------------------------
- x x , x x - x x , x x - x x , x x -
4,2 3,4 2,4 1,3 2,3 1,4 4,4 3,3 4,3 3,4 3,2 1,1
------------------------------------------------------------------------
x x )
3,1 1,2
o4 : Ideal of QQ[x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x ]
4,4 4,3 4,2 4,1 3,4 3,3 3,2 3,1 2,4 2,3 2,2 2,1 1,4 1,3 1,2 1,1
|