Return to driver_for_polyhedral_continuation.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/driver_for_polyhedral_continuation.adb, Revision 1.1.1.1

1.1       maekawa     1: with Communications_with_User;           use Communications_with_User;
                      2: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
                      3: with Standard_Complex_Poly_Randomizers;  use Standard_Complex_Poly_Randomizers;
                      4: with Drivers_for_Poly_Continuation;      use Drivers_for_Poly_Continuation;
                      5:
                      6: procedure Driver_for_Polyhedral_Continuation
                      7:                 ( file : in file_type; p : in Poly_Sys; k : in natural;
                      8:                   byebye : in boolean;
                      9:                   q : out Poly_Sys; qfile,solsfile : in out file_type;
                     10:                   tosolve,ranstart,contrep : out boolean ) is
                     11:
                     12:   ans : character;
                     13:   oc : natural;
                     14:   qq : Poly_Sys(p'range);
                     15:
                     16: begin
                     17:   new_line;
                     18:   put_line("MENU for Polyhedral Continuation : ");
                     19:   put_line("  0. No polyhedral continuation, leave the menu.");
                     20:   put_line("  1. Create and solve random coefficient system.");
                     21:   put_line("  2. Solve given system by polyhedral continuation.");
                     22:   put("Type 0,1, or 2 to choose : "); Ask_Alternative(ans,"012");
                     23:   tosolve := (ans /= '0');
                     24:   ranstart := (ans = '1');
                     25:   if ans /= '0'
                     26:    then
                     27:      if ans = '1'
                     28:       then
                     29:         put_line("Reading a file name to write random coefficient system.");
                     30:         Read_Name_and_Create_File(qfile);
                     31:         qq := Complex_Randomize1(p); q := qq;
                     32:         if k = 0
                     33:          then new_line(file);
                     34:               put_line(file,"RANDOM COEFFICIENT START SYSTEM :");
                     35:               new_line(file);
                     36:               put_line(file,qq);
                     37:               put_line(qfile,qq);
                     38:         end if;
                     39:       else
                     40:         q := p;
                     41:         put_line("Reading a name of a file to write start solutions on.");
                     42:         Read_Name_and_Create_File(solsfile);
                     43:      end if;
                     44:      new_line;
                     45:      Driver_for_Continuation_Parameters(file);
                     46:      new_line;
                     47:      Driver_for_Process_io(file,oc);
                     48:      contrep := (oc /= 0);
                     49:   end if;
                     50:   if byebye
                     51:    then new_line;
                     52:         put_line("No more input expected.  See output file for results.");
                     53:         new_line;
                     54:   end if;
                     55: end Driver_for_Polyhedral_Continuation;