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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>