![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift / ts_drivcrit.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:31 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io; use text_io; with Communications_with_User; use Communications_with_User; with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems; with Standard_Complex_Poly_Systems_io; use Standard_Complex_Poly_Systems_io; with Arrays_of_Integer_Vector_Lists; use Arrays_of_Integer_Vector_Lists; with Arrays_of_Integer_Vector_Lists_io; use Arrays_of_Integer_Vector_Lists_io; with Power_Lists; use Power_Lists; with Driver_for_Criterion; procedure ts_drivcrit is -- DESCRIPTION : -- This procedure calls the driver for the criterion. lp : Link_to_Poly_Sys; file : file_type; begin new_line; put_line("Interactive testing of driver for the criterion."); new_line; get(lp); new_line; put_line("Reading the name of the output file."); Read_Name_and_Create_File(file); declare supports : Array_of_Lists(lp'range) := Create(lp.all); begin put_line(file,"The supports of the system : "); put(file,supports); Driver_for_Criterion(file,supports); put_line(file,"The reduced supports : "); put(file,supports); end; end ts_drivcrit;