Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/normal_cone_intersections_io.adb, Revision 1.1.1.1
1.1 maekawa 1: with integer_io; use integer_io;
2: with Standard_Integer_Vectors_io; use Standard_Integer_Vectors_io;
3:
4: package body Normal_Cone_Intersections_io is
5:
6: procedure put ( ima : in Intersection_Matrix ) is
7: begin
8: put(Standard_Output,ima);
9: end put;
10:
11: procedure put ( file : in file_type; ima : in Intersection_Matrix ) is
12:
13: cnt : natural;
14:
15: begin
16: put(file,"offset vector : "); put(file,ima.sv); new_line(file);
17: put_line(file,"intersection matrix : ");
18: for i in ima.im'range(1) loop
19: cnt := ima.sv'first+1;
20: for j in ima.im'range(2) loop
21: if j = ima.sv(cnt)
22: then put(file," &");
23: if cnt < ima.sv'last
24: then cnt := cnt + 1;
25: end if;
26: end if;
27: put(file," "); put(file,ima.im(i,j),1);
28: end loop;
29: new_line(file);
30: end loop;
31: end put;
32:
33: end Normal_Cone_Intersections_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>