Return to triangulations_io.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/triangulations_io.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
        !             3: with Triangulations;                     use Triangulations;
        !             4:
        !             5: package Triangulations_io is
        !             6:
        !             7: -- DESCRIPTION :
        !             8: --   Input/output of triangulations of polytopes spanned by integer vertices.
        !             9:
        !            10:   procedure get ( t : in out Triangulation );
        !            11:   procedure get ( n,m : in natural; t : in out Triangulation );
        !            12:   procedure get ( file : in file_type; t : in out Triangulation );
        !            13:   procedure get ( file : in file_type; n,m : in natural;
        !            14:                   t : in out Triangulation );
        !            15:
        !            16:   -- DESCRIPTION :
        !            17:   --   Reads first the dimension n and the number of simplices m.
        !            18:   --   if they are not specified as parameter.
        !            19:   --   Either from standard input or from file, m times n integer vectors
        !            20:   --   of length are read.
        !            21:
        !            22:   procedure put ( n : in natural; t : in Triangulation );
        !            23:   procedure put ( n : in natural; t : in Triangulation; v : out natural );
        !            24:   procedure put ( file : in file_type;
        !            25:                   n : in natural; t : in Triangulation );
        !            26:   procedure put ( file : in file_type;
        !            27:                   n : in natural; t : in Triangulation; v : out natural );
        !            28:
        !            29:   -- DESCRIPTION :
        !            30:   --   Writes the simplices in the triangulation on standard output
        !            31:   --   or on file.  When the parameter `v' is supplied, the volume
        !            32:   --   will be computed and returned.  Also, more text banners are provided.
        !            33:
        !            34:   procedure put ( n : natural; t : in Triangulation;
        !            35:                   convecs : in out List; v : out natural );
        !            36:   procedure put ( file : in file_type; n : natural; t : in Triangulation;
        !            37:                   convecs : in out List; v : out natural );
        !            38:
        !            39:   -- DESCRIPTION :
        !            40:   --   Also the connectivity vectors for each simplex will be written.
        !            41:   --   A connectivity vector cv for a simplex s is defined as follows:
        !            42:   --    cv(i) = 0 if Neighbor(s,i) = Null_Simplex
        !            43:   --    cv(i) = k if Neighbor(s,i) /= Null_Simplex
        !            44:   --         and Position(t,Neighbor(s,i)) = k.
        !            45:
        !            46: end Triangulations_io;