Return to floating_mixed_subdivisions_io.ads CVS log

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

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with text_io;                            use text_io;
with Standard_Integer_Vectors;
with Standard_Floating_Vectors;
with Lists_of_Floating_Vectors;          use Lists_of_Floating_Vectors;
with Arrays_of_Floating_Vector_Lists;    use Arrays_of_Floating_Vector_Lists;
with Floating_Mixed_Subdivisions;        use Floating_Mixed_Subdivisions;  

package Floating_Mixed_Subdivisions_io is

-- DESCRIPTION :
--   This package provides some routines for i/o of mixed subdivisions,
--   induced by a floating-point lifting.

  procedure get ( n,m : in natural; mic : out Mixed_Cell );
  procedure get ( file : in file_type;
                  n,m : in natural; mic : out Mixed_Cell );

  -- DESCRIPTION :
  --   Reads the normal and for each list of points, the length
  --   of the list and the list itself from standard input or from file.

  procedure get ( n,m : out natural;
                  mixed_type : out Standard_Integer_Vectors.Link_to_Vector;
                  mixsub : out Mixed_Subdivision );
  procedure get ( file : in file_type; n,m : out natural;
                  mixed_type : out Standard_Integer_Vectors.Link_to_Vector;
                  mixsub : out Mixed_Subdivision );

  -- DESCRIPTION :
  --   Reads the dimension, the number of different supports,
  --   the type of mixture, the number of mixed cells and the mixed
  --   subdivision from standard input or from file.

  procedure Mixed_Volume ( n : in natural;
                           mix : in Standard_Integer_Vectors.Vector;
                           mic : in out Mixed_Cell; mv : out natural );

  -- DESCRIPTION :
  --   Auxiliary routine for the output with mixed-volume computation.

  procedure put ( lifvec : in Standard_Floating_Vectors.Vector );
  procedure put ( file : in file_type;
                  lifvec : in Standard_Floating_Vectors.Vector );
  procedure put ( lifsup : in List );
  procedure put ( file : in file_type; lifsup : in List );
  procedure put ( lifsup : in Array_of_Lists );
  procedure put ( file : in file_type; lifsup : in Array_of_Lists );

  -- DESCRIPTION :
  --   Writes the lifted vectors on file or on standard output.
  --   The format uses fixed point format for the integer entries.

  procedure put ( n : in natural; mix : in Standard_Integer_Vectors.Vector;
                  mic : in Mixed_Cell );
  procedure put ( n : in natural; mix : in Standard_Integer_Vectors.Vector;
                  mic : in out Mixed_Cell; mv : out natural);
  procedure put ( file : in file_type;
                  n : in natural; mix : in Standard_Integer_Vectors.Vector;
                  mic : in Mixed_Cell );
  procedure put ( file : in file_type;
                  n : in natural; mix : in Standard_Integer_Vectors.Vector;
                  mic : in out Mixed_Cell; mv : out natural );

  -- DESCRIPTION :
  --   Puts the normal, the length of each point list and the
  --   points belonging to the cell on standard output or on file.
  --   More text banners are provided when the parameter `mv' is supplied.
  --   This `mv' contains the mixed volume of the cell on return.
  --   When the mixed volume is computed, eventually the cell is refined.

  procedure put ( n : in natural; mix : in Standard_Integer_Vectors.Vector;
                  mixsub : in Mixed_Subdivision );
  procedure put ( n : in natural; mix : in Standard_Integer_Vectors.Vector;
                  mixsub : in out Mixed_Subdivision; mv : out natural );
  procedure put ( file : in file_type; n : in natural;
                  mix : in Standard_Integer_Vectors.Vector;
                  mixsub : in Mixed_Subdivision );
  procedure put ( file : in file_type; n : in natural;
                  mix : in Standard_Integer_Vectors.Vector;
                  mixsub : in out Mixed_Subdivision; mv : out natural );

  -- DESCRIPTION :
  --   Puts the dimension, the type of mixture, the number of mixed
  --   cells and the mixed subdivision on file or on standard output.
  --   More text banners are provided when the parameter `mv' is supplied.
  --   This `mv' contains the mixed volume of the cell on return.
  --   When the mixed volume is computed, eventually the cells are refined.

end Floating_Mixed_Subdivisions_io;