Writes the witness set information of NV and the test points to temporary files
Invokes Bertini’s solver with option TRACKTYPE: 3
Stores output of Bertini in temporary file
Parses and outputs the solutions
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 |
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.