Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/ts_drivss.adb, Revision 1.1.1.1
1.1 maekawa 1: with text_io,integer_io; use text_io,integer_io;
2: with Communications_with_User; use Communications_with_User;
3: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
4: with Standard_Complex_Poly_Systems_io; use Standard_Complex_Poly_Systems_io;
5: with Standard_Complex_Solutions; use Standard_Complex_Solutions;
6: with Lists_of_Integer_Vectors; use Lists_of_Integer_Vectors;
7: with Drivers_for_Set_Structures; use Drivers_for_Set_Structures;
8:
9: procedure ts_drivss is
10:
11: -- DESCRIPTION :
12: -- Reads a polynomial system and calls the driver.
13:
14: file,qfile : file_type;
15: lp : Link_to_Poly_Sys;
16: lpos : List;
17: b : natural;
18:
19: begin
20: get(lp);
21: declare
22: q : Poly_Sys(lp'range);
23: qsols : Solution_List;
24: begin
25: put_line("Reading the output file.");
26: Read_Name_and_Create_File(file);
27: Driver_for_Set_Structure(file,lp.all,b,lpos,q,qsols);
28: end;
29: end ts_drivss;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>