Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/ts_drivmuho.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 Drivers_for_Multi_Homogenization; use Drivers_for_Multi_Homogenization;
7:
8: procedure ts_drivmuho is
9:
10: -- DESCRIPTION :
11: -- Reads a polynomial system and calls the driver.
12:
13: file,qfile : file_type;
14: lp : Link_to_Poly_Sys;
15: b : natural;
16:
17: begin
18: get(lp);
19: declare
20: q : Poly_Sys(lp'range);
21: qsols : Solution_List;
22: begin
23: put_line("Reading the output file.");
24: Read_Name_and_Create_File(file);
25: Driver_for_Multi_homogenization(file,lp.all,b,q,qsols);
26: end;
27: end ts_drivmuho;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>