Return to drivers_for_set_structures.ads CVS log

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

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;