Return to ts_drivdynl.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Dynlift |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Dynlift / ts_drivdynl.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:28 2000 UTC (23 years, 11 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 Standard_Complex_Solutions; use Standard_Complex_Solutions; with Drivers_for_Dynamic_Lifting; use Drivers_for_Dynamic_Lifting; procedure ts_drivdynl is -- DESCRIPTION : -- This procedure calls the driver to dynamic lifting. lp,lq : Link_to_Poly_Sys; qsols : Solution_List; b : natural; file : file_type; begin new_line; put_line("Test on driver for dynamic lifting."); new_line; get(lp); new_line; put_line("Reading the name of the output file."); Read_Name_and_Create_File(file); lq := new Poly_Sys(lp'range); Driver_for_Dynamic_Mixed_Volume_Computation(file,lp.all,true,lq.all,qsols,b); end ts_drivdynl;