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

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;