Return to symmetry_group_io.adb CVS log

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

Import the second public release of PHCpack.

OKed by Jan Verschelde.

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;