Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/drivers_for_multi_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_Multi_Homogenization is
6:
7: procedure Multi_Homogenization_Info;
8:
9: -- DESCRIPTION :
10: -- Displays information about multi-homogenization on screen.
11:
12: procedure Driver_for_Multi_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: -- This is an interactive driver for multi-homogenization.
18:
19: -- ON ENTRY :
20: -- file to write diagnostics on;
21: -- p a polynomial system.
22:
23: -- ON RETURN :
24: -- b a bound based on the degree structure;
25: -- q a random product start system;
26: -- qsols the solutions of q.
27:
28: end Drivers_for_Multi_Homogenization;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>