Used to construct a witness set of the variety V(E). It is expected that codim E == dim S and that P is a subset of the intersection of V(E) and V(S).
i1 : R = CC[x,y] o1 = R o1 : PolynomialRing |
i2 : w = witnessSet( ideal(x^2+y^2-1), ideal(x), {{{0,1}},{{0,-1}}}/point) o2 = [dim=1,deg=2] o2 : WitnessSet |
i3 : setName(w, " _ "||"/ \\"||"\\_/") o3 = _ / \ \_/ |
i4 : {w,w,w} o4 = { _ , _ , _ } / \ / \ / \ \_/ \_/ \_/ o4 : List |