i1 : R = QQ[x_0..x_3, MonomialOrder=>Lex]; |
i2 : I = ideal {x_0^3-x_0, x_0*x_2-x_2, x_1-x_2, x_2^2-x_2, x_2*x_3^2-x_3};
o2 : Ideal of R
|
i3 : N = chordalNet I; |
i4 : chordalTria N; |
i5 : size N
o5 = {3, 2, 2, 2}
o5 : List
|
i6 : N
2
o6 = ChordalNet{ x => {x - 1, x , x - 1} }
0 0 0 0
x => {x , x - 1}
1 1 1
x => {x , x - 1}
2 2 2
x => {x , x - 1}
3 3 3
o6 : ChordalNet
|