![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Symmetry / ts_drivsss.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,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 Driver_for_Symmetric_Set_Structure; use Driver_for_Symmetric_Set_Structure; procedure ts_drivsss 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_Symmetric_Random_Product_Systems(file,lp.all,q,qsols,b,lpos); end; end ts_drivsss;