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