Return to floating_mixed_subdivisions_io.ads CVS log

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

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

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Standard_Integer_Vectors;
        !             3: with Standard_Floating_Vectors;
        !             4: with Lists_of_Floating_Vectors;          use Lists_of_Floating_Vectors;
        !             5: with Arrays_of_Floating_Vector_Lists;    use Arrays_of_Floating_Vector_Lists;
        !             6: with Floating_Mixed_Subdivisions;        use Floating_Mixed_Subdivisions;
        !             7:
        !             8: package Floating_Mixed_Subdivisions_io is
        !             9:
        !            10: -- DESCRIPTION :
        !            11: --   This package provides some routines for i/o of mixed subdivisions,
        !            12: --   induced by a floating-point lifting.
        !            13:
        !            14:   procedure get ( n,m : in natural; mic : out Mixed_Cell );
        !            15:   procedure get ( file : in file_type;
        !            16:                   n,m : in natural; mic : out Mixed_Cell );
        !            17:
        !            18:   -- DESCRIPTION :
        !            19:   --   Reads the normal and for each list of points, the length
        !            20:   --   of the list and the list itself from standard input or from file.
        !            21:
        !            22:   procedure get ( n,m : out natural;
        !            23:                   mixed_type : out Standard_Integer_Vectors.Link_to_Vector;
        !            24:                   mixsub : out Mixed_Subdivision );
        !            25:   procedure get ( file : in file_type; n,m : out natural;
        !            26:                   mixed_type : out Standard_Integer_Vectors.Link_to_Vector;
        !            27:                   mixsub : out Mixed_Subdivision );
        !            28:
        !            29:   -- DESCRIPTION :
        !            30:   --   Reads the dimension, the number of different supports,
        !            31:   --   the type of mixture, the number of mixed cells and the mixed
        !            32:   --   subdivision from standard input or from file.
        !            33:
        !            34:   procedure Mixed_Volume ( n : in natural;
        !            35:                            mix : in Standard_Integer_Vectors.Vector;
        !            36:                            mic : in out Mixed_Cell; mv : out natural );
        !            37:
        !            38:   -- DESCRIPTION :
        !            39:   --   Auxiliary routine for the output with mixed-volume computation.
        !            40:
        !            41:   procedure put ( lifvec : in Standard_Floating_Vectors.Vector );
        !            42:   procedure put ( file : in file_type;
        !            43:                   lifvec : in Standard_Floating_Vectors.Vector );
        !            44:   procedure put ( lifsup : in List );
        !            45:   procedure put ( file : in file_type; lifsup : in List );
        !            46:   procedure put ( lifsup : in Array_of_Lists );
        !            47:   procedure put ( file : in file_type; lifsup : in Array_of_Lists );
        !            48:
        !            49:   -- DESCRIPTION :
        !            50:   --   Writes the lifted vectors on file or on standard output.
        !            51:   --   The format uses fixed point format for the integer entries.
        !            52:
        !            53:   procedure put ( n : in natural; mix : in Standard_Integer_Vectors.Vector;
        !            54:                   mic : in Mixed_Cell );
        !            55:   procedure put ( n : in natural; mix : in Standard_Integer_Vectors.Vector;
        !            56:                   mic : in out Mixed_Cell; mv : out natural);
        !            57:   procedure put ( file : in file_type;
        !            58:                   n : in natural; mix : in Standard_Integer_Vectors.Vector;
        !            59:                   mic : in Mixed_Cell );
        !            60:   procedure put ( file : in file_type;
        !            61:                   n : in natural; mix : in Standard_Integer_Vectors.Vector;
        !            62:                   mic : in out Mixed_Cell; mv : out natural );
        !            63:
        !            64:   -- DESCRIPTION :
        !            65:   --   Puts the normal, the length of each point list and the
        !            66:   --   points belonging to the cell on standard output or on file.
        !            67:   --   More text banners are provided when the parameter `mv' is supplied.
        !            68:   --   This `mv' contains the mixed volume of the cell on return.
        !            69:   --   When the mixed volume is computed, eventually the cell is refined.
        !            70:
        !            71:   procedure put ( n : in natural; mix : in Standard_Integer_Vectors.Vector;
        !            72:                   mixsub : in Mixed_Subdivision );
        !            73:   procedure put ( n : in natural; mix : in Standard_Integer_Vectors.Vector;
        !            74:                   mixsub : in out Mixed_Subdivision; mv : out natural );
        !            75:   procedure put ( file : in file_type; n : in natural;
        !            76:                   mix : in Standard_Integer_Vectors.Vector;
        !            77:                   mixsub : in Mixed_Subdivision );
        !            78:   procedure put ( file : in file_type; n : in natural;
        !            79:                   mix : in Standard_Integer_Vectors.Vector;
        !            80:                   mixsub : in out Mixed_Subdivision; mv : out natural );
        !            81:
        !            82:   -- DESCRIPTION :
        !            83:   --   Puts the dimension, the type of mixture, the number of mixed
        !            84:   --   cells and the mixed subdivision on file or on standard output.
        !            85:   --   More text banners are provided when the parameter `mv' is supplied.
        !            86:   --   This `mv' contains the mixed volume of the cell on return.
        !            87:   --   When the mixed volume is computed, eventually the cells are refined.
        !            88:
        !            89: end Floating_Mixed_Subdivisions_io;