Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/drivers_for_implicit_lifting.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_Implicit_Lifting is
6:
7: procedure Implicit_Lifting_Info;
8:
9: -- DESCRIPTION :
10: -- Displays information on the BKK Bound on screen.
11:
12: procedure Driver_for_Mixture_Bezout_BKK
13: ( file : in file_type; p : in Poly_Sys; byebye : in boolean;
14: q : out Poly_Sys; qsols : out Solution_List;
15: b : out natural );
16:
17: -- DESCRIPTION :
18: -- This driver allows to compute a mixture between a generalized Bezout
19: -- number and the BKK bound.
20:
21: -- ON ENTRY :
22: -- file to write diagnostics on;
23: -- p a polynomial system;
24: -- byebye if true, then a bye-bye message will appear on screen,
25: -- if false, then no bye-bye.
26:
27: -- ON RETURN :
28: -- q a start system;
29: -- qsols the solutions of q;
30: -- b Bezout-BKK bound for the number of finite solutions of p.
31:
32: end Drivers_for_Implicit_Lifting;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>