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