![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift / floating_mixed_subdivisions_io.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:30 2000 UTC (23 years, 9 months ago) by maekawa
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;