![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift / ts_drivstal.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:31 2000 UTC (23 years, 9 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_Static_Lifting; use Drivers_for_Static_Lifting; procedure ts_drivstal is -- DESCRIPTION : -- This procedure calls the driver to static lifting. lp,lq : Link_to_Poly_Sys; qsols : Solution_List; b : natural; file : file_type; begin new_line; put_line("Test on driver for static 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_Mixed_Volume_Computation(file,lp.all,true,lq.all,qsols,b); end ts_drivstal;