Return to drivers_for_vertex_points.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/drivers_for_vertex_points.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
                      3: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
                      4: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
                      5: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      6:
                      7: package Drivers_for_Vertex_Points is
                      8:
                      9: -- DESCRIPTION :
                     10: --   This package provides two drivers for extracting the vertex
                     11: --   point out of a tuple of point lists.
                     12:
                     13:   procedure Vertex_Points
                     14:                 ( file : in file_type; l : in out List );
                     15:   procedure Vertex_Points
                     16:                 ( file : in file_type; l : in out Array_of_Lists );
                     17:   procedure Vertex_Points
                     18:                 ( file : in file_type; mix : in Link_to_Vector;
                     19:                   l : in out Array_of_Lists );
                     20:
                     21:   -- DESCRIPTION :
                     22:   --   Reduces the lists to the lists of vertex points.
                     23:
                     24:   -- REQUIRED :
                     25:   --   If the type of mixture (mix) is provided, then the tuple of lists
                     26:   --   must be sorted according to this vector mix.
                     27:
                     28:   -- ON ENTRY :
                     29:   --   file       for writing diagnostics and statistics;
                     30:   --   mix        number of different lists in the tuple l,
                     31:   --              if not provided, then it will be assumed that all lists
                     32:   --              are different from each other;
                     33:   --   l          (tuple of) list(s).
                     34:
                     35:   -- ON RETURN :
                     36:   --   l          (tuple of) list(s) with nothing but vertex points.
                     37:
                     38:   procedure Vertex_Points
                     39:                 ( file : in file_type; p : in out Poly_Sys );
                     40:   procedure Vertex_Points
                     41:                 ( file : in file_type; mix : in Link_to_Vector;
                     42:                   p : in out Poly_Sys );
                     43:
                     44:   -- DESCRIPTION :
                     45:   --   Reduces the supports of the polynomials to their vertex points.
                     46:   --   Merely a driver to the procedures listed above.
                     47:
                     48: end Drivers_for_Vertex_Points;