Return to bracket_polynomials_io.ads CVS log

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

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

1.1     ! maekawa     1: with text_io;                        use text_io;
        !             2: with Bracket_Polynomials;            use Bracket_Polynomials;
        !             3:
        !             4: package Bracket_Polynomials_io is
        !             5:
        !             6: -- DESCRIPTION :
        !             7: --   This package provides output operations for bracket polynomials.
        !             8:
        !             9:   procedure put ( t : in Bracket_Term );
        !            10:   procedure put ( file : in file_type; t : in Bracket_Term );
        !            11:
        !            12:   -- DESCRIPTION :
        !            13:   --   Writes the term on standard output or on file,
        !            14:   --   if the file is specified as argument of the procedure.
        !            15:
        !            16:   procedure put ( p : in Bracket_Polynomial );
        !            17:   procedure put ( file : in file_type; p : in Bracket_Polynomial );
        !            18:
        !            19:   -- DESCRIPTION :
        !            20:   --   Writes the polynomial on standard output or on file,
        !            21:   --   if the file is specified as argument of the procedure.
        !            22:
        !            23: end Bracket_Polynomials_io;