Return to driver_for_root_refining.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Main

Annotation of OpenXM_contrib/PHC/Ada/Main/driver_for_root_refining.adb, Revision 1.1.1.1

1.1       maekawa     1: with integer_io;                         use integer_io;
                      2: with Timing_Package;                     use Timing_Package;
                      3: with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
                      4: with Scaling;                            use Scaling;
                      5: with Projective_Transformations;         use Projective_Transformations;
                      6: with Standard_Root_Refiners;             use Standard_Root_Refiners;
                      7:
                      8: procedure Driver_for_Root_Refining
                      9:              ( file : in file_type; scalp,p : in Poly_Sys; basis : in natural;
                     10:                scalvec : in Link_to_Vector; sols : in out Solution_List ) is
                     11:
                     12:   numb : natural;
                     13:   epsxa,epsfa : constant double_float := 10.0**(-8);
                     14:   tolsing : constant double_float := 10.0**(-8);
                     15:   timer : timing_widget;
                     16:   len : constant natural := Length_Of(sols);
                     17:
                     18: begin
                     19:   if (len /= 0) and then Head_Of(sols).n > p'last
                     20:    then Affine_Transformation(sols);
                     21:   end if;
                     22:   if scalvec /= null
                     23:    then put_line(file,"ROOT REFINING ON THE SCALED SYSTEM :");
                     24:         tstart(timer);
                     25:         numb := 0;
                     26:         Reporting_Root_Refiner
                     27:           (file,scalp,sols,epsxa,epsfa,tolsing,numb,5,false);
                     28:         tstop(timer);
                     29:         new_line(file);
                     30:         print_times(file,timer,"Root Refining on the Scaled System");
                     31:         Scale(basis,scalvec.all,sols);
                     32:   end if;
                     33:   tstart(timer);
                     34:   numb := 0;
                     35:   Reporting_Root_Refiner(file,p,sols,epsxa,epsfa,tolsing,numb,5,false);
                     36:   tstop(timer);
                     37:   new_line(file);
                     38:   print_times(file,timer,"Root Refining");
                     39: end Driver_for_Root_Refining;