4597N/A//package com.polytechnik.utils;
4597N/A/*
4597N/A * (C) Vladislav Malyshkin 2010
4597N/A * This file is under GPL version 3.
4597N/A *
4597N/A */
4597N/A
4597N/A/** Polynomial root.
4597N/A * @version $Id: PolynomialRoot.java,v 1.105 2012/08/18 00:00:05 mal Exp $
4597N/A * @author Vladislav Malyshkin mal@gromco.com
4597N/A */
4597N/A
4597N/A/**
4597N/A* @test
4597N/A* @bug 8005956
4597N/A* @summary C2: assert(!def_outside->member(r)) failed: Use of external LRG overlaps the same LRG defined in this block
4597N/A*
4597N/A* @run main PolynomialRoot
4597N/A*/
4597N/A
4597N/Apublic class PolynomialRoot {
4597N/A
4597N/A
4597N/Apublic static int findPolynomialRoots(final int n,
4597N/A final double [] p,
4597N/A final double [] re_root,
4597N/A final double [] im_root)
4597N/A{
4597N/A if(n==4)
4597N/A {
4597N/A return root4(p,re_root,im_root);
4597N/A }
4597N/A else if(n==3)
4597N/A {
4597N/A return root3(p,re_root,im_root);
4597N/A }
4597N/A else if(n==2)
4597N/A {
4597N/A return root2(p,re_root,im_root);
4597N/A }
4597N/A else if(n==1)
4597N/A {
4597N/A return root1(p,re_root,im_root);
4597N/A }
4597N/A else
4597N/A {
4597N/A throw new RuntimeException("n="+n+" is not supported yet");
4597N/A }
4597N/A}
4597N/A
4597N/A
4597N/A
4597N/Astatic final double SQRT3=Math.sqrt(3.0),SQRT2=Math.sqrt(2.0);
4597N/A
4597N/A
4597N/Aprivate static final boolean PRINT_DEBUG=false;
4597N/A
4597N/Apublic static int root4(final double [] p,final double [] re_root,final double [] im_root)
4597N/A{
4597N/A if(PRINT_DEBUG) System.err.println("=====================root4:p="+java.util.Arrays.toString(p));
4597N/A final double vs=p[4];
4597N/A if(PRINT_DEBUG) System.err.println("p[4]="+p[4]);
4597N/A if(!(Math.abs(vs)>EPS))
4597N/A {
4597N/A re_root[0]=re_root[1]=re_root[2]=re_root[3]=
4597N/A im_root[0]=im_root[1]=im_root[2]=im_root[3]=Double.NaN;
4597N/A return -1;
4597N/A }
4597N/A
4597N/A/* zsolve_quartic.c - finds the complex roots of
4597N/A * x^4 + a x^3 + b x^2 + c x + d = 0
4597N/A */
4597N/A final double a=p[3]/vs,b=p[2]/vs,c=p[1]/vs,d=p[0]/vs;
4597N/A if(PRINT_DEBUG) System.err.println("input a="+a+" b="+b+" c="+c+" d="+d);
4597N/A
4597N/A
4597N/A final double r4 = 1.0 / 4.0;
4597N/A final double q2 = 1.0 / 2.0, q4 = 1.0 / 4.0, q8 = 1.0 / 8.0;
4597N/A final double q1 = 3.0 / 8.0, q3 = 3.0 / 16.0;
4597N/A final int mt;
4597N/A
4597N/A /* Deal easily with the cases where the quartic is degenerate. The
4597N/A * ordering of solutions is done explicitly. */
4597N/A if (0 == b && 0 == c)
4597N/A {
4597N/A if (0 == d)
4597N/A {
4597N/A re_root[0]=-a;
4597N/A im_root[0]=im_root[1]=im_root[2]=im_root[3]=0;
4597N/A re_root[1]=re_root[2]=re_root[3]=0;
4597N/A return 4;
4597N/A }
4597N/A else if (0 == a)
4597N/A {
4597N/A if (d > 0)
4597N/A {
4597N/A final double sq4 = Math.sqrt(Math.sqrt(d));
4597N/A re_root[0]=sq4*SQRT2/2;
4597N/A im_root[0]=re_root[0];
4597N/A re_root[1]=-re_root[0];
4597N/A im_root[1]=re_root[0];
4597N/A re_root[2]=-re_root[0];
4597N/A im_root[2]=-re_root[0];
4597N/A re_root[3]=re_root[0];
4597N/A im_root[3]=-re_root[0];
4597N/A if(PRINT_DEBUG) System.err.println("Path a=0 d>0");
4597N/A }
4597N/A else
4597N/A {
4597N/A final double sq4 = Math.sqrt(Math.sqrt(-d));
4597N/A re_root[0]=sq4;
4597N/A im_root[0]=0;
4597N/A re_root[1]=0;
4597N/A im_root[1]=sq4;
4597N/A re_root[2]=0;
4597N/A im_root[2]=-sq4;
4597N/A re_root[3]=-sq4;
4597N/A im_root[3]=0;
4597N/A if(PRINT_DEBUG) System.err.println("Path a=0 d<0");
4597N/A }
4597N/A return 4;
4597N/A }
4597N/A }
4597N/A
4597N/A if (0.0 == c && 0.0 == d)
4597N/A {
4597N/A root2(new double []{p[2],p[3],p[4]},re_root,im_root);
4597N/A re_root[2]=im_root[2]=re_root[3]=im_root[3]=0;
4597N/A return 4;
4597N/A }
4597N/A
4597N/A if(PRINT_DEBUG) System.err.println("G Path c="+c+" d="+d);
4597N/A final double [] u=new double[3];
4597N/A
4597N/A if(PRINT_DEBUG) System.err.println("Generic Path");
4597N/A /* For non-degenerate solutions, proceed by constructing and
4597N/A * solving the resolvent cubic */
4597N/A final double aa = a * a;
4597N/A final double pp = b - q1 * aa;
4597N/A final double qq = c - q2 * a * (b - q4 * aa);
4597N/A final double rr = d - q4 * a * (c - q4 * a * (b - q3 * aa));
4597N/A final double rc = q2 * pp , rc3 = rc / 3;
4597N/A final double sc = q4 * (q4 * pp * pp - rr);
4597N/A final double tc = -(q8 * qq * q8 * qq);
4597N/A if(PRINT_DEBUG) System.err.println("aa="+aa+" pp="+pp+" qq="+qq+" rr="+rr+" rc="+rc+" sc="+sc+" tc="+tc);
4597N/A final boolean flag_realroots;
4597N/A
4597N/A /* This code solves the resolvent cubic in a convenient fashion
4597N/A * for this implementation of the quartic. If there are three real
4597N/A * roots, then they are placed directly into u[]. If two are
4597N/A * complex, then the real root is put into u[0] and the real
4597N/A * and imaginary part of the complex roots are placed into
4597N/A * u[1] and u[2], respectively. */
4597N/A {
4597N/A final double qcub = (rc * rc - 3 * sc);
4597N/A final double rcub = (rc*(2 * rc * rc - 9 * sc) + 27 * tc);
4597N/A
4597N/A final double Q = qcub / 9;
4597N/A final double R = rcub / 54;
4597N/A
4597N/A final double Q3 = Q * Q * Q;
4597N/A final double R2 = R * R;
4597N/A
4597N/A final double CR2 = 729 * rcub * rcub;
4597N/A final double CQ3 = 2916 * qcub * qcub * qcub;
4597N/A
4597N/A if(PRINT_DEBUG) System.err.println("CR2="+CR2+" CQ3="+CQ3+" R="+R+" Q="+Q);
4597N/A
4597N/A if (0 == R && 0 == Q)
4597N/A {
4597N/A flag_realroots=true;
4597N/A u[0] = -rc3;
4597N/A u[1] = -rc3;
4597N/A u[2] = -rc3;
4597N/A }
4597N/A else if (CR2 == CQ3)
4597N/A {
4597N/A flag_realroots=true;
4597N/A final double sqrtQ = Math.sqrt (Q);
4597N/A if (R > 0)
4597N/A {
4597N/A u[0] = -2 * sqrtQ - rc3;
4597N/A u[1] = sqrtQ - rc3;
4597N/A u[2] = sqrtQ - rc3;
4597N/A }
4597N/A else
4597N/A {
4597N/A u[0] = -sqrtQ - rc3;
4597N/A u[1] = -sqrtQ - rc3;
4597N/A u[2] = 2 * sqrtQ - rc3;
4597N/A }
4597N/A }
4597N/A else if (R2 < Q3)
4597N/A {
4597N/A flag_realroots=true;
4597N/A final double ratio = (R >= 0?1:-1) * Math.sqrt (R2 / Q3);
4597N/A final double theta = Math.acos (ratio);
4597N/A final double norm = -2 * Math.sqrt (Q);
4597N/A
4597N/A u[0] = norm * Math.cos (theta / 3) - rc3;
4597N/A u[1] = norm * Math.cos ((theta + 2.0 * Math.PI) / 3) - rc3;
4597N/A u[2] = norm * Math.cos ((theta - 2.0 * Math.PI) / 3) - rc3;
4597N/A }
4597N/A else
4597N/A {
4597N/A flag_realroots=false;
4597N/A final double A = -(R >= 0?1:-1)*Math.pow(Math.abs(R)+Math.sqrt(R2-Q3),1.0/3.0);
4597N/A final double B = Q / A;
4597N/A
4597N/A u[0] = A + B - rc3;
4597N/A u[1] = -0.5 * (A + B) - rc3;
4597N/A u[2] = -(SQRT3*0.5) * Math.abs (A - B);
4597N/A }
4597N/A if(PRINT_DEBUG) System.err.println("u[0]="+u[0]+" u[1]="+u[1]+" u[2]="+u[2]+" qq="+qq+" disc="+((CR2 - CQ3) / 2125764.0));
4597N/A }
4597N/A /* End of solution to resolvent cubic */
4597N/A
4597N/A /* Combine the square roots of the roots of the cubic
4597N/A * resolvent appropriately. Also, calculate 'mt' which
4597N/A * designates the nature of the roots:
4597N/A * mt=1 : 4 real roots
4597N/A * mt=2 : 0 real roots
4597N/A * mt=3 : 2 real roots
4597N/A */
4597N/A
4597N/A
4597N/A final double w1_re,w1_im,w2_re,w2_im,w3_re,w3_im,mod_w1w2,mod_w1w2_squared;
4597N/A if (flag_realroots)
4597N/A {
4597N/A mod_w1w2=-1;
4597N/A mt = 2;
4597N/A int jmin=0;
4597N/A double vmin=Math.abs(u[jmin]);
4597N/A for(int j=1;j<3;j++)
4597N/A {
4597N/A final double vx=Math.abs(u[j]);
4597N/A if(vx<vmin)
4597N/A {
4597N/A vmin=vx;
4597N/A jmin=j;
4597N/A }
4597N/A }
4597N/A final double u1=u[(jmin+1)%3],u2=u[(jmin+2)%3];
4597N/A mod_w1w2_squared=Math.abs(u1*u2);
4597N/A if(u1>=0)
4597N/A {
4597N/A w1_re=Math.sqrt(u1);
4597N/A w1_im=0;
4597N/A }
4597N/A else
4597N/A {
4597N/A w1_re=0;
4597N/A w1_im=Math.sqrt(-u1);
4597N/A }
4597N/A if(u2>=0)
4597N/A {
4597N/A w2_re=Math.sqrt(u2);
4597N/A w2_im=0;
4597N/A }
4597N/A else
4597N/A {
4597N/A w2_re=0;
4597N/A w2_im=Math.sqrt(-u2);
4597N/A }
4597N/A if(PRINT_DEBUG) System.err.println("u1="+u1+" u2="+u2+" jmin="+jmin);
4597N/A }
4597N/A else
4597N/A {
4597N/A mt = 3;
4597N/A final double w_mod2_sq=u[1]*u[1]+u[2]*u[2],w_mod2=Math.sqrt(w_mod2_sq),w_mod=Math.sqrt(w_mod2);
4597N/A if(w_mod2_sq<=0)
4597N/A {
4597N/A w1_re=w1_im=0;
4597N/A }
4597N/A else
4597N/A {
4597N/A // calculate square root of a complex number (u[1],u[2])
4597N/A // the result is in the (w1_re,w1_im)
4597N/A final double absu1=Math.abs(u[1]),absu2=Math.abs(u[2]),w;
4597N/A if(absu1>=absu2)
4597N/A {
4597N/A final double t=absu2/absu1;
4597N/A w=Math.sqrt(absu1*0.5 * (1.0 + Math.sqrt(1.0 + t * t)));
4597N/A if(PRINT_DEBUG) System.err.println(" Path1 ");
4597N/A }
4597N/A else
4597N/A {
4597N/A final double t=absu1/absu2;
4597N/A w=Math.sqrt(absu2*0.5 * (t + Math.sqrt(1.0 + t * t)));
4597N/A if(PRINT_DEBUG) System.err.println(" Path1a ");
4597N/A }
4597N/A if(u[1]>=0)
4597N/A {
4597N/A w1_re=w;
4597N/A w1_im=u[2]/(2*w);
4597N/A if(PRINT_DEBUG) System.err.println(" Path2 ");
4597N/A }
4597N/A else
4597N/A {
4597N/A final double vi = (u[2] >= 0) ? w : -w;
4597N/A w1_re=u[2]/(2*vi);
4597N/A w1_im=vi;
4597N/A if(PRINT_DEBUG) System.err.println(" Path2a ");
4597N/A }
4597N/A }
4597N/A final double absu0=Math.abs(u[0]);
4597N/A if(w_mod2>=absu0)
4597N/A {
4597N/A mod_w1w2=w_mod2;
4597N/A mod_w1w2_squared=w_mod2_sq;
4597N/A w2_re=w1_re;
4597N/A w2_im=-w1_im;
4597N/A }
4597N/A else
4597N/A {
4597N/A mod_w1w2=-1;
4597N/A mod_w1w2_squared=w_mod2*absu0;
4597N/A if(u[0]>=0)
4597N/A {
4597N/A w2_re=Math.sqrt(absu0);
4597N/A w2_im=0;
4597N/A }
4597N/A else
4597N/A {
4597N/A w2_re=0;
4597N/A w2_im=Math.sqrt(absu0);
4597N/A }
4597N/A }
4597N/A if(PRINT_DEBUG) System.err.println("u[0]="+u[0]+"u[1]="+u[1]+" u[2]="+u[2]+" absu0="+absu0+" w_mod="+w_mod+" w_mod2="+w_mod2);
4597N/A }
4597N/A
4597N/A /* Solve the quadratic in order to obtain the roots
4597N/A * to the quartic */
4597N/A if(mod_w1w2>0)
4597N/A {
4597N/A // a shorcut to reduce rounding error
4597N/A w3_re=qq/(-8)/mod_w1w2;
4597N/A w3_im=0;
4597N/A }
4597N/A else if(mod_w1w2_squared>0)
4597N/A {
4597N/A // regular path
4597N/A final double mqq8n=qq/(-8)/mod_w1w2_squared;
4597N/A w3_re=mqq8n*(w1_re*w2_re-w1_im*w2_im);
4597N/A w3_im=-mqq8n*(w1_re*w2_im+w2_re*w1_im);
4597N/A }
4597N/A else
4597N/A {
4597N/A // typically occur when qq==0
4597N/A w3_re=w3_im=0;
4597N/A }
4597N/A
4597N/A final double h = r4 * a;
4597N/A if(PRINT_DEBUG) System.err.println("w1_re="+w1_re+" w1_im="+w1_im+" w2_re="+w2_re+" w2_im="+w2_im+" w3_re="+w3_re+" w3_im="+w3_im+" h="+h);
4597N/A
4597N/A re_root[0]=w1_re+w2_re+w3_re-h;
4597N/A im_root[0]=w1_im+w2_im+w3_im;
4597N/A re_root[1]=-(w1_re+w2_re)+w3_re-h;
4597N/A im_root[1]=-(w1_im+w2_im)+w3_im;
4597N/A re_root[2]=w2_re-w1_re-w3_re-h;
4597N/A im_root[2]=w2_im-w1_im-w3_im;
4597N/A re_root[3]=w1_re-w2_re-w3_re-h;
4597N/A im_root[3]=w1_im-w2_im-w3_im;
4597N/A
4597N/A return 4;
4597N/A}
4597N/A
4597N/A
4597N/A
4597N/A static void setRandomP(final double [] p,final int n,java.util.Random r)
4597N/A {
4597N/A if(r.nextDouble()<0.1)
4597N/A {
4597N/A // integer coefficiens
4597N/A for(int j=0;j<p.length;j++)
4597N/A {
4597N/A if(j<=n)
4597N/A {
4597N/A p[j]=(r.nextInt(2)<=0?-1:1)*r.nextInt(10);
4597N/A }
4597N/A else
4597N/A {
4597N/A p[j]=0;
4597N/A }
4597N/A }
4597N/A }
4597N/A else
4597N/A {
4597N/A // real coefficiens
4597N/A for(int j=0;j<p.length;j++)
4597N/A {
4597N/A if(j<=n)
4597N/A {
4597N/A p[j]=-1+2*r.nextDouble();
4597N/A }
4597N/A else
4597N/A {
4597N/A p[j]=0;
4597N/A }
4597N/A }
4597N/A }
4597N/A if(Math.abs(p[n])<1e-2)
4597N/A {
4597N/A p[n]=(r.nextInt(2)<=0?-1:1)*(0.1+r.nextDouble());
4597N/A }
4597N/A }
4597N/A
4597N/A
4597N/A static void checkValues(final double [] p,
4597N/A final int n,
4597N/A final double rex,
4597N/A final double imx,
4597N/A final double eps,
4597N/A final String txt)
4597N/A {
4597N/A double res=0,ims=0,sabs=0;
4597N/A final double xabs=Math.abs(rex)+Math.abs(imx);
4597N/A for(int k=n;k>=0;k--)
4597N/A {
4597N/A final double res1=(res*rex-ims*imx)+p[k];
4597N/A final double ims1=(ims*rex+res*imx);
4597N/A res=res1;
4597N/A ims=ims1;
4597N/A sabs+=xabs*sabs+p[k];
4597N/A }
4597N/A sabs=Math.abs(sabs);
4597N/A if(false && sabs>1/eps?
4597N/A (!(Math.abs(res/sabs)<=eps)||!(Math.abs(ims/sabs)<=eps))
4597N/A :
4597N/A (!(Math.abs(res)<=eps)||!(Math.abs(ims)<=eps)))
4597N/A {
4597N/A throw new RuntimeException(
4597N/A getPolinomTXT(p)+"\n"+
4597N/A "\t x.r="+rex+" x.i="+imx+"\n"+
4597N/A "res/sabs="+(res/sabs)+" ims/sabs="+(ims/sabs)+
4597N/A " sabs="+sabs+
4597N/A "\nres="+res+" ims="+ims+" n="+n+" eps="+eps+" "+
4597N/A " sabs>1/eps="+(sabs>1/eps)+
4597N/A " f1="+(!(Math.abs(res/sabs)<=eps)||!(Math.abs(ims/sabs)<=eps))+
4597N/A " f2="+(!(Math.abs(res)<=eps)||!(Math.abs(ims)<=eps))+
4597N/A " "+txt);
4597N/A }
4597N/A }
4597N/A
4597N/A static String getPolinomTXT(final double [] p)
4597N/A {
4597N/A final StringBuilder buf=new StringBuilder();
4597N/A buf.append("order="+(p.length-1)+"\t");
4597N/A for(int k=0;k<p.length;k++)
4597N/A {
4597N/A buf.append("p["+k+"]="+p[k]+";");
4597N/A }
4597N/A return buf.toString();
4597N/A }
4597N/A
4597N/A static String getRootsTXT(int nr,final double [] re,final double [] im)
4597N/A {
4597N/A final StringBuilder buf=new StringBuilder();
4597N/A for(int k=0;k<nr;k++)
4597N/A {
4597N/A buf.append("x."+k+"("+re[k]+","+im[k]+")\n");
4597N/A }
4597N/A return buf.toString();
4597N/A }
4597N/A
4597N/A static void testRoots(final int n,
4597N/A final int n_tests,
4597N/A final java.util.Random rn,
4597N/A final double eps)
4597N/A {
4597N/A final double [] p=new double [n+1];
4597N/A final double [] rex=new double [n],imx=new double [n];
4597N/A for(int i=0;i<n_tests;i++)
4597N/A {
4597N/A for(int dg=n;dg-->-1;)
4597N/A {
4597N/A for(int dr=3;dr-->0;)
4597N/A {
4597N/A setRandomP(p,n,rn);
4597N/A for(int j=0;j<=dg;j++)
4597N/A {
4597N/A p[j]=0;
4597N/A }
4597N/A if(dr==0)
4597N/A {
4597N/A p[0]=-1+2.0*rn.nextDouble();
4597N/A }
4597N/A else if(dr==1)
4597N/A {
4597N/A p[0]=p[1]=0;
4597N/A }
4597N/A
4597N/A findPolynomialRoots(n,p,rex,imx);
4597N/A
4597N/A for(int j=0;j<n;j++)
4597N/A {
4597N/A //System.err.println("j="+j);
4597N/A checkValues(p,n,rex[j],imx[j],eps," t="+i);
4597N/A }
4597N/A }
4597N/A }
4597N/A }
4597N/A System.err.println("testRoots(): n_tests="+n_tests+" OK, dim="+n);
4597N/A }
4597N/A
4597N/A
4597N/A
4597N/A
4597N/A static final double EPS=0;
4597N/A
4597N/A public static int root1(final double [] p,final double [] re_root,final double [] im_root)
4597N/A {
4597N/A if(!(Math.abs(p[1])>EPS))
4597N/A {
4597N/A re_root[0]=im_root[0]=Double.NaN;
4597N/A return -1;
4597N/A }
4597N/A re_root[0]=-p[0]/p[1];
4597N/A im_root[0]=0;
4597N/A return 1;
4597N/A }
4597N/A
4597N/A public static int root2(final double [] p,final double [] re_root,final double [] im_root)
4597N/A {
4597N/A if(!(Math.abs(p[2])>EPS))
4597N/A {
4597N/A re_root[0]=re_root[1]=im_root[0]=im_root[1]=Double.NaN;
4597N/A return -1;
4597N/A }
4597N/A final double b2=0.5*(p[1]/p[2]),c=p[0]/p[2],d=b2*b2-c;
4597N/A if(d>=0)
4597N/A {
4597N/A final double sq=Math.sqrt(d);
4597N/A if(b2<0)
4597N/A {
4597N/A re_root[1]=-b2+sq;
4597N/A re_root[0]=c/re_root[1];
4597N/A }
4597N/A else if(b2>0)
4597N/A {
4597N/A re_root[0]=-b2-sq;
4597N/A re_root[1]=c/re_root[0];
4597N/A }
4597N/A else
4597N/A {
4597N/A re_root[0]=-b2-sq;
4597N/A re_root[1]=-b2+sq;
4597N/A }
4597N/A im_root[0]=im_root[1]=0;
4597N/A }
4597N/A else
4597N/A {
4597N/A final double sq=Math.sqrt(-d);
4597N/A re_root[0]=re_root[1]=-b2;
4597N/A im_root[0]=sq;
4597N/A im_root[1]=-sq;
4597N/A }
4597N/A return 2;
4597N/A }
4597N/A
4597N/A public static int root3(final double [] p,final double [] re_root,final double [] im_root)
4597N/A {
4597N/A final double vs=p[3];
4597N/A if(!(Math.abs(vs)>EPS))
4597N/A {
4597N/A re_root[0]=re_root[1]=re_root[2]=
4597N/A im_root[0]=im_root[1]=im_root[2]=Double.NaN;
4597N/A return -1;
4597N/A }
4597N/A final double a=p[2]/vs,b=p[1]/vs,c=p[0]/vs;
4597N/A /* zsolve_cubic.c - finds the complex roots of x^3 + a x^2 + b x + c = 0
4597N/A */
4597N/A final double q = (a * a - 3 * b);
4597N/A final double r = (a*(2 * a * a - 9 * b) + 27 * c);
4597N/A
4597N/A final double Q = q / 9;
4597N/A final double R = r / 54;
4597N/A
4597N/A final double Q3 = Q * Q * Q;
4597N/A final double R2 = R * R;
4597N/A
4597N/A final double CR2 = 729 * r * r;
4597N/A final double CQ3 = 2916 * q * q * q;
4597N/A final double a3=a/3;
4597N/A
4597N/A if (R == 0 && Q == 0)
4597N/A {
4597N/A re_root[0]=re_root[1]=re_root[2]=-a3;
4597N/A im_root[0]=im_root[1]=im_root[2]=0;
4597N/A return 3;
4597N/A }
4597N/A else if (CR2 == CQ3)
4597N/A {
4597N/A /* this test is actually R2 == Q3, written in a form suitable
4597N/A for exact computation with integers */
4597N/A
4597N/A /* Due to finite precision some double roots may be missed, and
4597N/A will be considered to be a pair of complex roots z = x +/-
4597N/A epsilon i close to the real axis. */
4597N/A
4597N/A final double sqrtQ = Math.sqrt (Q);
4597N/A
4597N/A if (R > 0)
4597N/A {
4597N/A re_root[0] = -2 * sqrtQ - a3;
4597N/A re_root[1]=re_root[2]=sqrtQ - a3;
4597N/A im_root[0]=im_root[1]=im_root[2]=0;
4597N/A }
4597N/A else
4597N/A {
4597N/A re_root[0]=re_root[1] = -sqrtQ - a3;
4597N/A re_root[2]=2 * sqrtQ - a3;
4597N/A im_root[0]=im_root[1]=im_root[2]=0;
4597N/A }
4597N/A return 3;
4597N/A }
4597N/A else if (R2 < Q3)
4597N/A {
4597N/A final double sgnR = (R >= 0 ? 1 : -1);
4597N/A final double ratio = sgnR * Math.sqrt (R2 / Q3);
4597N/A final double theta = Math.acos (ratio);
4597N/A final double norm = -2 * Math.sqrt (Q);
4597N/A final double r0 = norm * Math.cos (theta/3) - a3;
4597N/A final double r1 = norm * Math.cos ((theta + 2.0 * Math.PI) / 3) - a3;
4597N/A final double r2 = norm * Math.cos ((theta - 2.0 * Math.PI) / 3) - a3;
4597N/A
4597N/A re_root[0]=r0;
4597N/A re_root[1]=r1;
4597N/A re_root[2]=r2;
4597N/A im_root[0]=im_root[1]=im_root[2]=0;
4597N/A return 3;
4597N/A }
4597N/A else
4597N/A {
4597N/A final double sgnR = (R >= 0 ? 1 : -1);
4597N/A final double A = -sgnR * Math.pow (Math.abs (R) + Math.sqrt (R2 - Q3), 1.0 / 3.0);
4597N/A final double B = Q / A;
4597N/A
4597N/A re_root[0]=A + B - a3;
4597N/A im_root[0]=0;
4597N/A re_root[1]=-0.5 * (A + B) - a3;
4597N/A im_root[1]=-(SQRT3*0.5) * Math.abs(A - B);
4597N/A re_root[2]=re_root[1];
4597N/A im_root[2]=-im_root[1];
4597N/A return 3;
4597N/A }
4597N/A
4597N/A }
4597N/A
4597N/A
4597N/A static void root3a(final double [] p,final double [] re_root,final double [] im_root)
4597N/A {
4597N/A if(Math.abs(p[3])>EPS)
4597N/A {
4597N/A final double v=p[3],
4597N/A a=p[2]/v,b=p[1]/v,c=p[0]/v,
4597N/A a3=a/3,a3a=a3*a,
4597N/A pd3=(b-a3a)/3,
4597N/A qd2=a3*(a3a/3-0.5*b)+0.5*c,
4597N/A Q=pd3*pd3*pd3+qd2*qd2;
4597N/A if(Q<0)
4597N/A {
4597N/A // three real roots
4597N/A final double SQ=Math.sqrt(-Q);
4597N/A final double th=Math.atan2(SQ,-qd2);
4597N/A im_root[0]=im_root[1]=im_root[2]=0;
4597N/A final double f=2*Math.sqrt(-pd3);
4597N/A re_root[0]=f*Math.cos(th/3)-a3;
4597N/A re_root[1]=f*Math.cos((th+2*Math.PI)/3)-a3;
4597N/A re_root[2]=f*Math.cos((th+4*Math.PI)/3)-a3;
4597N/A //System.err.println("3r");
4597N/A }
4597N/A else
4597N/A {
4597N/A // one real & two complex roots
4597N/A final double SQ=Math.sqrt(Q);
4597N/A final double r1=-qd2+SQ,r2=-qd2-SQ;
4597N/A final double v1=Math.signum(r1)*Math.pow(Math.abs(r1),1.0/3),
4597N/A v2=Math.signum(r2)*Math.pow(Math.abs(r2),1.0/3),
4597N/A sv=v1+v2;
4597N/A // real root
4597N/A re_root[0]=sv-a3;
4597N/A im_root[0]=0;
4597N/A // complex roots
4597N/A re_root[1]=re_root[2]=-0.5*sv-a3;
4597N/A im_root[1]=(v1-v2)*(SQRT3*0.5);
4597N/A im_root[2]=-im_root[1];
4597N/A //System.err.println("1r2c");
4597N/A }
4597N/A }
4597N/A else
4597N/A {
4597N/A re_root[0]=re_root[1]=re_root[2]=im_root[0]=im_root[1]=im_root[2]=Double.NaN;
4597N/A }
4597N/A }
4597N/A
4597N/A
4597N/A static void printSpecialValues()
4597N/A {
4597N/A for(int st=0;st<6;st++)
4597N/A {
4597N/A //final double [] p=new double []{8,1,3,3.6,1};
4597N/A final double [] re_root=new double [4],im_root=new double [4];
4597N/A final double [] p;
4597N/A final int n;
4597N/A if(st<=3)
4597N/A {
4597N/A if(st<=0)
4597N/A {
4597N/A p=new double []{2,-4,6,-4,1};
4597N/A //p=new double []{-6,6,-6,8,-2};
4597N/A }
4597N/A else if(st==1)
4597N/A {
4597N/A p=new double []{0,-4,8,3,-9};
4597N/A }
4597N/A else if(st==2)
4597N/A {
4597N/A p=new double []{-1,0,2,0,-1};
4597N/A }
4597N/A else
4597N/A {
4597N/A p=new double []{-5,2,8,-2,-3};
4597N/A }
4597N/A root4(p,re_root,im_root);
4597N/A n=4;
4597N/A }
4597N/A else
4597N/A {
4597N/A p=new double []{0,2,0,1};
4597N/A if(st==4)
4597N/A {
4597N/A p[1]=-p[1];
4597N/A }
4597N/A root3(p,re_root,im_root);
4597N/A n=3;
4597N/A }
4597N/A System.err.println("======== n="+n);
4597N/A for(int i=0;i<=n;i++)
4597N/A {
4597N/A if(i<n)
4597N/A {
4597N/A System.err.println(String.valueOf(i)+"\t"+
4597N/A p[i]+"\t"+
4597N/A re_root[i]+"\t"+
4597N/A im_root[i]);
4597N/A }
4597N/A else
4597N/A {
4597N/A System.err.println(String.valueOf(i)+"\t"+p[i]+"\t");
4597N/A }
4597N/A }
4597N/A }
4597N/A }
4597N/A
4597N/A
4597N/A
4597N/A public static void main(final String [] args)
4597N/A {
4597N/A final long t0=System.currentTimeMillis();
4597N/A final double eps=1e-6;
4597N/A //checkRoots();
4597N/A final java.util.Random r=new java.util.Random(-1381923);
4597N/A printSpecialValues();
4597N/A
4597N/A final int n_tests=10000000;
4597N/A //testRoots(2,n_tests,r,eps);
4597N/A //testRoots(3,n_tests,r,eps);
4597N/A testRoots(4,n_tests,r,eps);
4597N/A final long t1=System.currentTimeMillis();
4597N/A System.err.println("PolynomialRoot.main: "+n_tests+" tests OK done in "+(t1-t0)+" milliseconds. ver=$Id: PolynomialRoot.java,v 1.105 2012/08/18 00:00:05 mal Exp $");
4597N/A }
4597N/A
4597N/A
4597N/A
4597N/A}