Return to orbits_of_solutions_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 Orbits_of_Solutions_io is

  procedure put ( lorb : in List_of_Orbits ) is
  begin
    put(Standard_Output,lorb);
  end put;

  procedure put ( file : in file_type; lorb : in List_of_Orbits ) is

    tmp : List_of_Orbits;
    totgen,totsols : natural;

  begin
    tmp := lorb;
    if not Is_Null(lorb)
     then put_line(file,"------------------------------------------------");
          put_line(file,"|    ORBIT INFORMATION OF LIST OF SOLUTIONS    |");
	  put_line(file,"------------------------------------------------");
	  put_line(file,"|       TYPE        | NB <> | NB GEN | NB SOLS |");
	  put_line(file,"------------------------------------------------");
	  totgen := 0;
	  totsols := 0;
          while not Is_Null(tmp) loop
            declare
	      n : natural := Head_Of(tmp).n;
	      orbi : Orbit(n) := Head_Of(tmp).all;
            begin
	      put(file,"|  ");
	      for i in orbi.orb'range loop
	        put(file,orbi.orb(i),1);
	        put(file,' ');
	      end loop;
	      for i in 1..(17-2*n) loop
		put(file,' ');
              end loop;
	      put(file,"|  ");
	      put(file,orbi.nbdiff,2);
	      put(file,"   |   ");
	      put(file,orbi.nbgen,2);  totgen := totgen + orbi.nbgen;
	      put(file,"   |   ");
	      put(file,orbi.nbsols,3); totsols := totsols + orbi.nbsols;
	      put_line(file,"   |");
            end;
            tmp := Tail_Of(tmp);
          end loop;
	  put_line(file,"------------------------------------------------");
	  put(file,"| Total number of generating solutions : ");
	  put(file,totgen,4); put_line(file,"  |");
	  put(file,"| Total number of solutions generated  : ");
	  put(file,totsols,4); put_line(file,"  |");
	  put_line(file,"------------------------------------------------");
    end if;
  end put;

end Orbits_of_Solutions_io;