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

bertiniComponentMemberTest -- a main method to test whether points lie on a given variety

Synopsis

Description

This method checks whether the test points pts lie on NV using Bertini by (1) writing the witness set information of NV and the test points to temporary files, (2) invokes Bertini's solver with option TRACKTYPE => 3, (3) stores output of Bertini in temporary file, (4) parses and outputs the solutions.

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

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 :

For the programmer

The object bertiniComponentMemberTest is a method function with options.