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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>