Return to symmetry_group_io.ads CVS log

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

Initial revision

with text_io;                            use text_io;
with Permutations,Symmetry_Group;        use Permutations,Symmetry_Group;

package Symmetry_Group_io is

-- DESCRIPTION :
--   This package contains routines for input and output of 
--   permutations and groups of permutations.

  procedure get ( p : out Permutation );
  procedure get ( file : in file_type; p : out Permutation );

  -- DESCRIPTION :
  --   Reads a permutation from standard input or from file.
   
  procedure get ( l : in out List_of_Permutations; n,nb : in natural );
  procedure get ( file : in file_type;
		  l : in out List_of_Permutations; n,nb : in natural );

  -- DESCRIPTION :
  --   Reads a list of permutations from standard in put or from file.
  --   Vectors that do not represent permutations are ignored.

  -- ON ENTRY :
  --   n          the number of elements in the permutations;
  --   nb         the total number of permutations that must be read.
      
  procedure put ( p : in Permutation );
  procedure put ( file : in file_type; p : in Permutation );

  -- DESCRIPTION :
  --   Writes a permutation on standard output or on file.

  procedure put ( l : in List_of_Permutations );
  procedure put ( file : in file_type; l : in List_of_Permutations );

  -- DESCRIPTION :
  --   Writes a list of permutations on standard output or on file.

end Symmetry_Group_io;