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) Temporary directory for input and output files:/var/folders/j_/gx42s4z576z_vj47_ym0j5xm0000gn/T/M2-74766-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. 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/j_/gx42s4z576z_vj47_ym0j5xm0000gn/T/M2-74766-0/2 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 |
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.