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     ! 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;