next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
SymbolicPowers :: isKonig

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

Synopsis

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

See also

Ways to use isKonig :