Return to driver_for_symmetric_set_structure.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Symmetry

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;