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     ! 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;