Return to bracket_systems_io.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Schubert

Annotation of OpenXM_contrib/PHC/Ada/Schubert/bracket_systems_io.adb, Revision 1.1.1.1

1.1       maekawa     1: with Bracket_Polynomials_io;          use Bracket_Polynomials_io;
                      2:
                      3: package body Bracket_Systems_io is
                      4:
                      5:   procedure put ( s : in Bracket_System ) is
                      6:   begin
                      7:     put(Standard_Output,s);
                      8:   end put;
                      9:
                     10:   procedure put ( file : in file_type; s : in Bracket_System ) is
                     11:   begin
                     12:     for i in s'range loop
                     13:       put(file,s(i));
                     14:     end loop;
                     15:   end put;
                     16:
                     17: end Bracket_Systems_io;