Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/drivers_for_m_homogenization.ads, Revision 1.1.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>