Simplifies a chordal network by applying a sequence of reduction rules (while preserving the underlying variety).
i1 : I = adjacentMinorsIdeal(QQ,2,4); o1 : Ideal of QQ[a..h] |
i2 : N = chordalNet I; |
i3 : chordalTria N; |
i4 : codimCount N
5 4 3
o4 = 2t + 6t + 3t
o4 : ZZ[t]
|
i5 : reduceNet N |
i6 : codimCount N
4 3
o6 = 5t + 3t
o6 : ZZ[t]
|
The object reduceNet is a method function.