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

bertiniRefineSols -- sharpen solutions to a prescribed number of digits

Synopsis

Description

This method takes the list l of solutions of F and sharpens them to d digits using the sharpening module of Bertini.

i1 : R = CC[x,y];
i2 : F = {x^2-2,y^2-2};
i3 : sols = bertiniZeroDimSolve (F)

o3 = {{1.41421, 1.41421}, {1.41421, -1.41421}, {-1.41421, 1.41421}, {-1.41421, -1.41421}}

o3 : List
i4 : S = bertiniRefineSols (100, F, sols)

o4 = {[RF], [RF], [RF], [RF]}

o4 : List
i5 : coords = coordinates S_0

o5 = {-1.41421, -1.41421}

o5 : List
i6 : coords_0

o6 = -1.41421-2.22045e-16*ii

o6 : CC (of precision 333)

bertiniRefineSols will only refine non-singular solutions and does not currently work for homogeneous systems.

Ways to use bertiniRefineSols :

For the programmer

The object bertiniRefineSols is a method function with options.