# isKonig -- determines if a given square-free ideal is Konig.

• Usage:
isKonig(I)
• Inputs:
• Outputs:

## Description

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