Return to normal_cone_intersections_io.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/normal_cone_intersections_io.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Normal_Cone_Intersections;          use Normal_Cone_Intersections;
        !             3:
        !             4: package Normal_Cone_Intersections_io is
        !             5:
        !             6: -- DESCRIPTION :
        !             7: --   This package provides output routines for intersection matrices.
        !             8:
        !             9:   procedure put ( ima : in Intersection_Matrix );
        !            10:   procedure put ( file : in file_type; ima : in Intersection_Matrix );
        !            11:
        !            12: end Normal_Cone_Intersections_io;