next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NAGtypes :: witnessSet

witnessSet -- construct a WitnessSet

Synopsis

Description

i1 : R = CC[x,y]     

o1 = R

o1 : PolynomialRing
i2 : w = witnessSet( ideal(x^2+y^2+2), ideal(x-y), {point {{0.999999*ii,0.999999*ii}}, point {{-1.000001*ii,-1.000001*ii}}} )

o2 = (dim=1,deg=2)

o2 : WitnessSet
i3 : peek w

o3 = WitnessSet{Points => {{.999999*ii, .999999*ii}}}
                          {{-ii, -ii}              }
                Slice => {x - y}
                                    2    2
                Equations => ideal(x  + y  + 2)

Ways to use witnessSet :