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)
Temporary directory for input and output files:/var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-66089-0/0

The version of Bertini 
            you have installed on your computer 
            was used for this run. 
Bertini is under ongoing development by 
            D. Bates, J. Hauenstein, A. Sommese, and C. Wampler.


o3 = NV

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

o4 = {{0, 0, 0}}

o4 : List
i5 : bertiniComponentMemberTest(pts, NV)
Temporary directory for input and output files:/var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-66089-0/1

The version of Bertini 
            you have installed on your computer 
            was used for this run. 
Bertini is under ongoing development by 
            D. Bates, J. Hauenstein, A. Sommese, and C. Wampler.


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 :