i17 : Q={{{1, 3}, {2, 4}}, {{2, 2}, {3, 3}}, {{2, 3}, {3, 4}}, {{2, 4}, {3, 5}}, {{3, 4}, {4, 5}}, {{3, 3}, {4, 4}}, {{3, 2}, {4, 3}}, {{3, 1}, {4, 2}}, {{3, 5}, {4, 6}}, {{4, 4}, {5, 5}}, {{4, 3}, {5, 4}}, {{5, 4}, {6, 5}}};
|
i18 : I = polyoIdeal(Q,RingChoice=>2);
o18 : Ideal of QQ[x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x ]
3,6 4,6 3,1 4,1 2,2 3,2 4,2 1,3 5,3 2,3 3,3 4,3 6,5 5,5 2,5 3,5 4,5 1,4 6,4 5,4 2,4 3,4 4,4
|
i19 : In= monomialIdeal(leadTerm(I))
o19 = monomialIdeal (x x , x x , x x , x x , x x ,
4,6 3,1 4,6 3,2 4,1 3,2 3,2 2,3 4,2 2,3
-----------------------------------------------------------------------
x x , x x , x x , x x , x x , x x , x x ,
4,6 3,3 4,1 3,3 4,2 3,3 2,3 5,5 3,3 5,5 4,3 5,5 3,2 2,5
-----------------------------------------------------------------------
x x , x x , x x , x x , x x , x x , x x ,
4,2 2,5 3,3 2,5 4,3 2,5 4,6 3,5 4,1 3,5 4,2 3,5 4,3 3,5
-----------------------------------------------------------------------
x x , x x , x x , x x , x x , x x , x x ,
5,3 1,4 2,3 1,4 3,3 1,4 4,3 1,4 5,5 6,4 2,5 6,4 3,5 6,4
-----------------------------------------------------------------------
x x , x x , x x , x x , x x , x x , x x ,
4,5 6,4 2,3 5,4 3,3 5,4 4,3 5,4 2,5 5,4 3,5 5,4 4,5 5,4
-----------------------------------------------------------------------
x x , x x , x x , x x , x x , x x , x x ,
3,2 2,4 4,2 2,4 3,3 2,4 4,3 2,4 3,5 2,4 4,5 2,4 4,6 3,4
-----------------------------------------------------------------------
x x , x x , x x , x x )
4,1 3,4 4,2 3,4 4,3 3,4 4,5 3,4
o19 : MonomialIdeal of QQ[x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x ]
3,6 4,6 3,1 4,1 2,2 3,2 4,2 1,3 5,3 2,3 3,3 4,3 6,5 5,5 2,5 3,5 4,5 1,4 6,4 5,4 2,4 3,4 4,4
|