Given a square-free monomial ideal I, determines if the ideal is Konig. A square-free monomial ideal I of codimension c is Konig if it contains a regular sequence of monomials of length c.
i1 : R = QQ[x,y,z]; |
i2 : I = ideal(x*y,y*z,x*z); o2 : Ideal of R |
i3 : isKonig(I) o3 = false |