next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Bertini :: bertiniComponentMemberTest

bertiniComponentMemberTest -- test whether points lie on a given variety

Synopsis

Description

This method checks whether the test points pts lie on NV using Bertini.

i1 : R = CC[x,y,z];
i2 : F = {(y^2+x^2+z^2-1)*x,(y^2+x^2+z^2-1)*y};
i3 : NV = bertiniPosDimSolve(F)

o3 = NV

o3 : NumericalVariety
i4 : pts = {{0,0,0}} --z-axis

o4 = {{0, 0, 0}}

o4 : List
i5 : bertiniComponentMemberTest(pts, NV)

o5 = {{[dim=1,deg=1]}}

o5 : List

Caveat

In the current implementation, at most one witness set is listed for each test point although the point may lie on more than one component.

Ways to use bertiniComponentMemberTest :