![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Symmetry / symmetry_group_io.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:31 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
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;