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

Synopsis

Usage:

isKonig(I)
Inputs:
- I, an ideal,
Outputs:
- a Boolean value,

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

Ways to use `isKonig` :

"isKonig(Ideal)"

For the programmer

The object isKonig is a method function.

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

Synopsis

Description

See also

Ways to use isKonig :

For the programmer

Ways to use `isKonig` :