Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/ts_drivmuho.adb, Revision 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>