Used to construct a numerical variety. It is NOT expected that every witness set W in the list Ws has the same W.Equations.
i1 : R = CC[x,y] o1 = R o1 : PolynomialRing |
i2 : I = ideal((x^2+y^2+2)*x,(x^2+y^2+2)*y); o2 : Ideal of R |
i3 : w1 = witnessSet(I , ideal(x-y), {point {{0.999999*ii,0.999999*ii}}, point {{-1.000001*ii,-1.000001*ii}}} ) o3 = [dim=1,deg=2] o3 : WitnessSet |
i4 : w0 = witnessSet(I, ideal R, {point {{0.,0.}}}) o4 = [dim=0,deg=1] o4 : WitnessSet |
i5 : V = numericalVariety {w0,w1} o5 = A variety of dimension 1 with components in dim 0: [dim=0,deg=1] dim 1: [dim=1,deg=2] o5 : NumericalVariety |