![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product / ts_drivmhom.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 Drivers_for_m_homogenization; use Drivers_for_m_homogenization; procedure ts_drivmhom is -- DESCRIPTION : -- Reads a polynomial system and calls the driver. file,qfile : file_type; lp : Link_to_Poly_Sys; 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_m_homogenization(file,lp.all,b,q,qsols); end; end ts_drivmhom;