Return to deformation_posets_io.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Schubert

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with integer_io;                         use integer_io;
with Standard_Complex_VecMats;           use Standard_Complex_VecMats;

package body Deformation_Posets_io is

  procedure put_size ( poset : in Array_of_Array_of_VecMats ) is
  begin
    put_size(Standard_Output,poset);
  end put_size;

  procedure put_size 
              ( file : in file_type; poset : in Array_of_Array_of_VecMats ) is

    np : natural;
    lavm : Link_to_VecMat;

  begin
    if poset'last < 10
     then np := 1;
     else np := 2;
    end if;
    for i in poset'range loop
      put(file,"n = "); put(file,i,np); put(file," : ");
      if poset(i) /= null
       then for j in poset(i)'range loop
              lavm := poset(i)(j);
              if lavm = null
               then put(file," 0");
               else put(file," "); put(file,lavm'length,1);
              end if;
            end loop;
      end if;
      new_line(file);
    end loop;
  end put_size;

end Deformation_Posets_io;