with text_io;                           use text_io;
with DoblDobl_Monomial_Vectors;         use DoblDobl_Monomial_Vectors;

package DoblDobl_Monomial_Vectors_io is

-- DESCRIPTION :
--   A basic output procedure is defined by this package.

  procedure put ( v : in Monomial_Vector );
  procedure put ( file : in file_type; v : in Monomial_Vector );
  procedure put ( v : in Link_to_Monomial_Vector );
  procedure put ( file : in file_type; v : in Link_to_Monomial_Vector );

  -- DESCRIPTION :
  --   Writes the contents of the monomial vector to standard output
  --   or to file.

  procedure put ( p : in Polynomial );
  procedure put ( file : in file_type; p : in Polynomial );
  procedure put ( p : in Link_to_Polynomial );
  procedure put ( file : in file_type; p : in Link_to_Polynomial );

  -- DESCRIPTION :
  --   Writes the contents of the polynomial to standard output
  --   or to file.

end DoblDobl_Monomial_Vectors_io;
