noPackedAllSubs -- finds all substitutions of variables by 1 and/or 0 for which ideal is not Konig.

Synopsis

• Usage:

  noPackedAllSubs(I)

• Inputs:
  • I, an ideal,
• Outputs:
  • a list,

Description

i1 : R = QQ[x,y,z];

i2 : I = ideal(x*y,y*z,x*z);

o2 : Ideal of R

i3 : noPackedAllSubs(I)

o3 = Only I is not Konig -- all proper substitutions are Konig.

See also

• noPackedSub -- finds a substitution of variables by 1 and/or 0 for which an ideal is not Konig.
• isPacked -- determines if a given square-free ideal is packed.