phc[refine] - refines solutions of a system of polynomial equations
R = refine(L,S,...)
Parameters
L - list of solutions
S - system
Return value
R - the list of refined solutions
Options
The options to refine are given after the parameters L and S as equations of the form option = value . The following options are supported:
| > | with(phc): setPHCloc("C:\\PHCmaple"): |
| > | S := makeSystem([x,y], [], [x^2+y^2-1, y^3+x^3-1]): |
| > | sols := solve(S): printSolutions(S,sols): |
(1) [x = 1.0-.737959023935872e-19*I, y = .329371120755286e-6-.191721671746238e-6*I]
(2) [x = 1.0-.646023262030399e-19*I, y = -.638404133185846e-7+.375785577998785e-6*I]
(3) [x = -.344790175239635e-6+.368368833746744e-6*I, y = 1.0+.108519145022455e-18*I]
(4) [x = -1.0-.707106781186548*I, y = -1.0+.707106781186547*I]
(5) [x = -1.0+.707106781186548*I, y = -1.0-.707106781186548*I]
(6) [x = .493115569338616e-6+.293212688274468e-8*I, y = 1.0+.285191255180035e-20*I]
| > | refsols := refine(sols,S, digits=32,residual_tol=1e-30,error_tol=1e-30,singular_tol=1e-20,max_iterations=10): |
| > | printSolutions(S,refsols): |
(1) [x = .99999999999999999999999999999927-.6873133482520205754401038408339e-28*I, y = .32165143846017501931286855938697e-9-.18722811292156424045727254961509e-9*I]
(2) [x = 1.0000000000000000000000000000333-.6019058134395572182042984327907e-28*I, y = -.62344064435294059782805687833384e-10+.36697813472129546166659525399375e-9*I]
(3) [x = -.33670914457067916721346980491024e-9+.35973535442183656933219992353746e-9*I, y = 1.0000000000000000000000000001234+.10106626595082837022504694828802e-27*I]
(4) [x = -1.0-.70710678118654752440084436210486*I, y = -.99999999999999999999999999999999+.70710678118654752440084436210484*I]
(5) [x = -1.0+.70710678118654752440084436210487*I, y = -1.0-.70710678118654752440084436210487*I]
(6) [x = .48155801503319354268339215060958e-9+.28634032781156815854889094980258e-11*I, y = 1.0000000000000000000000000001489+.2656040072890805825796363356957e-29*I]
Maple
TM is a registered trademark of Waterloo Maple Inc.
Math rendered by
WebEQ