Return to normal_cone_intersections_io.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift

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;