Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/drivers_for_set_structures.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: with Lists_of_Integer_Vectors; use Lists_of_Integer_Vectors;
5:
6: package Drivers_for_Set_Structures is
7:
8: procedure Set_Structure_Info;
9:
10: -- DESCRIPTION :
11: -- Displays information on set structures on screen.
12:
13: procedure Driver_for_Set_Structure
14: ( file : in file_type; p : in Poly_Sys;
15: b : in out natural; lpos : in out List;
16: q : out Poly_Sys; qsols : out Solution_List );
17:
18: -- DESCRIPTION :
19: -- Allows the interactive computation of a generalized Bezout number,
20: -- with an optional construction of a start system.
21:
22: -- ON ENTRY :
23: -- file output file;
24: -- p a polynomial system.
25:
26: -- ON RETURN :
27: -- b a bound based on the set structure;
28: -- lpos a list of positions indicating the acceptable classes;
29: -- q a random product start system;
30: -- qsols the solutions of q.
31:
32: end Drivers_for_Set_Structures;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>