Macaulay2 » Documentation
Packages » SymbolicPowers :: noPackedAllSubs

next | previous | forward | backward | up | index | toc

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

Usage:

noPackedAllSubs(I)
Inputs:
- I, an ideal,
Outputs:
- a list,

Description

Given an ideal that is not packed, returns a list with all substitution of variables by 0 and/or 1 that produces an ideal that is not Konig.

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.

Ways to use noPackedAllSubs:

noPackedAllSubs(Ideal)

For the programmer

The object noPackedAllSubs is a method function.

The source of this document is in SymbolicPowers.m2:1326:0.