Return to normal_cone_intersections_io.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift / normal_cone_intersections_io.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:31 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with integer_io; use integer_io; with Standard_Integer_Vectors_io; use Standard_Integer_Vectors_io; package body Normal_Cone_Intersections_io is procedure put ( ima : in Intersection_Matrix ) is begin put(Standard_Output,ima); end put; procedure put ( file : in file_type; ima : in Intersection_Matrix ) is cnt : natural; begin put(file,"offset vector : "); put(file,ima.sv); new_line(file); put_line(file,"intersection matrix : "); for i in ima.im'range(1) loop cnt := ima.sv'first+1; for j in ima.im'range(2) loop if j = ima.sv(cnt) then put(file," &"); if cnt < ima.sv'last then cnt := cnt + 1; end if; end if; put(file," "); put(file,ima.im(i,j),1); end loop; new_line(file); end loop; end put; end Normal_Cone_Intersections_io;