Given an ideal that is not packed, returns a substitution of variables by 0 and/or 1 that produces an ideal that is not Konig. Determines only one such substitutions, even though others may exist.
|
|
|
The object noPackedSub is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/SymbolicPowers.m2:1300:0.