with integer_io; use integer_io; package body Symmetry_Group_io is procedure get ( p : out Permutation ) is begin get(Standard_Input,p); end get; procedure get ( file : in file_type; p : out Permutation ) is begin for i in p'range loop get(file,p(i)); end loop; end get; procedure get ( l : in out List_of_Permutations; n,nb : in natural ) is begin get(Standard_Input,l,n,nb); end get; procedure get ( file : in file_type; l : in out List_of_Permutations; n,nb : in natural ) is p : Permutation(1..n); l2 : List_of_Permutations; begin for i in 1..nb loop get(file,p); if Is_Permutation(p) then Append(l,l2,p); end if; end loop; end get; procedure put ( p : in Permutation ) is begin put(Standard_Output,p); end put; procedure put ( file : in file_type; p : in Permutation ) is begin for i in p'range loop put(file,' '); put(file,p(i),1); end loop; end put; procedure put ( l : in List_of_Permutations ) is begin put(Standard_Output,l); end put; procedure put ( file : in file_type; l : in List_of_Permutations ) is temp : List_of_Permutations := l; begin while not Is_Null(temp) loop put(file,Permutation(Head_Of(temp).all)); new_line(file); temp := Tail_Of(temp); end loop; end put; end Symmetry_Group_io;