Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/drivers_for_m_homogenization.ads, Revision 1.1
1.1 ! maekawa 1: with text_io; use text_io;
! 2: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
! 3: with Standard_Complex_Solutions; use Standard_Complex_Solutions;
! 4:
! 5: package Drivers_for_m_Homogenization is
! 6:
! 7: procedure m_Homogenization_Info;
! 8:
! 9: -- DESCRIPTION :
! 10: -- Displays information about m-homogenization on screen.
! 11:
! 12: procedure Driver_for_m_Homogenization
! 13: ( file : in file_type; p : in Poly_Sys; b : in out natural;
! 14: q : out Poly_Sys; qsols : out Solution_List );
! 15:
! 16: -- DESCRIPTION :
! 17: -- Computation of an m-homogeneous Bezout number with the option
! 18: -- of constructing an m-homogeneous start system.
! 19:
! 20: -- ON ENTRY :
! 21: -- file output file;
! 22: -- p a polynomial system.
! 23:
! 24: -- ON RETURN :
! 25: -- b m-homogeneous Bezout number;
! 26: -- q m-homogeneous start system;
! 27: -- qsols solutions of q.
! 28:
! 29: end Drivers_for_m_Homogenization;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>