next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
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)
Temporary directory for input and output files:/var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-66095-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 = {{1.41421, 1.41421}, {1.41421, -1.41421}, {-1.41421, 1.41421},
     ------------------------------------------------------------------------
     {-1.41421, -1.41421}}

o3 : List
i4 : S = bertiniRefineSols (100, F, sols)
Temporary directory for input and output files:/var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-66095-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.


o4 = {{1.41421, 1.41421}, {1.41421, -1.41421}, {-1.41421, 1.41421},
     ------------------------------------------------------------------------
     {-1.41421, -1.41421}}

o4 : List
i5 : coords = coordinates S_0

o5 = {1.41421, 1.41421}

o5 : List
i6 : coords_0

o6 = 1.4142135623730950488016887242096980785696718753769480731766797379907324
     78462107038850387534327641573

o6 : CC (of precision 333)

Caveat

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

Ways to use bertiniRefineSols :