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     ! 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;