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.
i1 : R = QQ[x,y,z]; |
i2 : I = ideal(x*y,y*z,x*z); o2 : Ideal of R |
i3 : noPackedSub(I) o3 = The ideal itself is not Konig! |
The object noPackedSub is a method function.