![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Symmetry / symbolic_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 Symbolic_Symmetry_Group_io is -- DESCRIPTION : -- This package contains routines for input and output of permutations -- and groups of permutations, with the use of the symbol table. -- This means that symbols rather than positions are read and written. -- REQUIRED : The symbol table may not be empty! procedure get ( p : in out Permutation ); procedure get ( file : in file_type; p : in out Permutation ); -- DESCRIPTION : -- Reads a permutation from standard input or from file. -- When read from standard input, the get will ask the user to retry -- until a valid permutation is entered. 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. -- When read from file, nonvalid permutations are ignored. -- When read from standard input, the get askes the user to retry -- until a valid permutation is entered. -- 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 Symbolic_Symmetry_Group_io;