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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>