Return to deformation_posets_io.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Schubert/deformation_posets_io.adb, Revision 1.1.1.1

1.1       maekawa     1: with integer_io;                         use integer_io;
                      2: with Standard_Complex_VecMats;           use Standard_Complex_VecMats;
                      3:
                      4: package body Deformation_Posets_io is
                      5:
                      6:   procedure put_size ( poset : in Array_of_Array_of_VecMats ) is
                      7:   begin
                      8:     put_size(Standard_Output,poset);
                      9:   end put_size;
                     10:
                     11:   procedure put_size
                     12:               ( file : in file_type; poset : in Array_of_Array_of_VecMats ) is
                     13:
                     14:     np : natural;
                     15:     lavm : Link_to_VecMat;
                     16:
                     17:   begin
                     18:     if poset'last < 10
                     19:      then np := 1;
                     20:      else np := 2;
                     21:     end if;
                     22:     for i in poset'range loop
                     23:       put(file,"n = "); put(file,i,np); put(file," : ");
                     24:       if poset(i) /= null
                     25:        then for j in poset(i)'range loop
                     26:               lavm := poset(i)(j);
                     27:               if lavm = null
                     28:                then put(file," 0");
                     29:                else put(file," "); put(file,lavm'length,1);
                     30:               end if;
                     31:             end loop;
                     32:       end if;
                     33:       new_line(file);
                     34:     end loop;
                     35:   end put_size;
                     36:
                     37: end Deformation_Posets_io;