Return to deformation_posets_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Schubert

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with text_io;                      use text_io;
with Deformation_Posets;           use Deformation_Posets;

package Deformation_Posets_io is

-- DESCRIPTION :
--   Provides output routines for deformation posets.

  procedure put_size ( poset : in Array_of_Array_of_VecMats );
  procedure put_size
              ( file : in file_type; poset : in Array_of_Array_of_VecMats );

  -- DESCRIPTION :
  --   Writes the length of every vector of matrices, for every level.

end Deformation_Posets_io;