Return to ts_drivss.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product / ts_drivss.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:29 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io,integer_io; use text_io,integer_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 Standard_Complex_Solutions; use Standard_Complex_Solutions; with Lists_of_Integer_Vectors; use Lists_of_Integer_Vectors; with Drivers_for_Set_Structures; use Drivers_for_Set_Structures; procedure ts_drivss is -- DESCRIPTION : -- Reads a polynomial system and calls the driver. file,qfile : file_type; lp : Link_to_Poly_Sys; lpos : List; b : natural; begin get(lp); declare q : Poly_Sys(lp'range); qsols : Solution_List; begin put_line("Reading the output file."); Read_Name_and_Create_File(file); Driver_for_Set_Structure(file,lp.all,b,lpos,q,qsols); end; end ts_drivss;