Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/normal_cone_intersections_io.adb, Revision 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>