Return to bracket_systems_io.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Schubert/bracket_systems_io.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                         use text_io;
        !             2: with Bracket_Systems;                 use Bracket_Systems;
        !             3:
        !             4: package Bracket_Systems_io is
        !             5:
        !             6: -- DESCRIPTION :
        !             7: --   This package provides output routines for systems of bracket polynomials.
        !             8:
        !             9:   procedure put ( s : in Bracket_System );
        !            10:
        !            11:   procedure put ( file : in file_type; s : in Bracket_System );
        !            12:
        !            13: end Bracket_Systems_io;