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. |
The object noPackedAllSubs is a method function.