Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/driver_for_symmetric_set_structure.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 Lists_of_Integer_Vectors; use Lists_of_Integer_Vectors;
4: with Standard_Complex_Solutions; use Standard_Complex_Solutions;
5:
6: package Driver_for_Symmetric_Set_Structure is
7:
8: procedure Symmetric_Set_Structure_Info;
9:
10: -- DESCRIPTION :
11: -- Displays information on symmetric set structures on screen.
12:
13: procedure Driver_for_Symmetric_Random_Product_Systems
14: ( file : in file_type; p : in Poly_Sys; q : out Poly_Sys;
15: qsols : out Solution_List; bs : in out natural;
16: lpos : in out List );
17:
18: -- DESCRIPTION :
19: -- Interactive driver for the construction of a
20: -- (G,V,W)-symmetric random product start system.
21:
22: -- ON ENTRY :
23: -- file output file to write diagnostics on;
24: -- p a polynomial system;
25: -- bs Bezout number based on the set structure;
26: -- lpos list of positions.
27:
28: -- ON RETURN :
29: -- q symmetric random linear-product start system;
30: -- qsols solutions of q;
31: -- bs Bezout number based on a symmetric set structure;
32: -- lpos list of positions for the new set structure.
33:
34: end Driver_for_Symmetric_Set_Structure;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>