i1 : I = adjacentMinorsIdeal(QQ,2,5)
o1 = ideal (a*d - b*c, c*f - d*e, e*h - f*g, g*j - h*i)
o1 : Ideal of QQ[a..j]
|
i5 : N
o5 = ChordalNet{ a => { , a*d - b*c} }
b => { , }
c => {c, , c*f - d*e}
d => {d, , }
e => { , e*h - f*g, e, , e*h - f*g}
f => { , , f, , }
g => {g, g*j - h*i, g*j - h*i}
h => {h, , }
i => { , }
j => { , }
o5 : ChordalNet
|