Return to driver_for_own_start_system.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Main |
File: [local] / OpenXM_contrib / PHC / Ada / Main / driver_for_own_start_system.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:23 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with integer_io; use integer_io; with Communications_with_User; use Communications_with_User; with File_Scanning; use File_Scanning; with Standard_Complex_Poly_Systems_io; use Standard_Complex_Poly_Systems_io; with Standard_Complex_Solutions_io; use Standard_Complex_Solutions_io; with Drivers_for_Poly_Continuation; use Drivers_for_Poly_Continuation; procedure Driver_for_Own_Start_System ( file : in file_type; p : in Poly_Sys; q : out Poly_Sys; qsols : in out Solution_List ) is qfile : file_type; qq : Poly_Sys(p'range); found : boolean; begin new_line; put_line("Reading the name of the file that contains the start system."); Read_Name_and_Open_File(qfile); get(qfile,qq); Scan_and_Skip(qfile,"SOLUTIONS",found); if found then get(qfile,qsols); else declare sfile : file_type; begin put_line("Reading the name of the file for the solutions."); Read_Name_and_Open_File(sfile); get(sfile,qsols); Close(sfile); end; end if; Close(qfile); Check_Continuation_Parameter(qsols); q := qq; new_line(file); put_line(file,"Start system delivered by user : "); put(file,qq); new_line(file); put_line(file,"with start solutions : "); new_line(file); put(file,qsols); new_line(file); end Driver_for_Own_Start_System;