Return to bracket_monomials_io.adb CVS log

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

Initial revision

with Brackets,Brackets_io;             use Brackets,Brackets_io;

package body Bracket_Monomials_io is

  procedure put ( bm : in Bracket_Monomial ) is
  begin
    put(Standard_Output,bm);
  end put;

  procedure put ( file : in file_type; bm : in Bracket_Monomial ) is

    procedure Write_Bracket ( b : in Bracket; cont : out boolean ) is
    begin
      put(file,b);
      cont := true;
    end Write_Bracket;
    procedure Write_Brackets is new Enumerate_Brackets(Write_Bracket);

  begin
    Write_Brackets(bm);
  end put;

end Bracket_Monomials_io;