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 |