Annotation of OpenXM_contrib/PHC/Ada/Main/driver_for_root_counts.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: procedure Driver_for_Root_Counts
6: ( file : in file_type; p,q : in out Poly_Sys;
7: own : in boolean;
8: qsols : in out Solution_List; roco : out natural );
9:
10: -- DESCRIPTION :
11: -- This procedure implements an interactive driver for several
12: -- root counting methods.
13:
14: -- ON ENTRY :
15: -- file to write diagnostics on;
16: -- p a polynomial system;
17: -- own if true, then the user has the possibility to give
18: -- an own start system.
19:
20: -- ON RETURN :
21: -- p has eventually been made homogeneous;
22: -- q a start system based on the chosen root count;
23: -- qsols the solutions of q;
24: -- roco the root count.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>