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
|