package Test_DoblDobl_Polynomials is

-- DESCRIPTION :
--   Tests polynomials with double double coefficients.

  procedure Test_Polynomial_Convertor;

  -- DESCRIPTION :
  --   Tests the conversions of double complex coefficient polynomials
  --   with double double complex coefficient polynomials.

  procedure Test_Laurent_Polynomial_Convertor;

  -- DESCRIPTION :
  --   Tests the conversions of double complex coefficient Laurent
  --   polynomials with double double complex coefficient polynomials.

  procedure Main;

  -- DESCRIPTION :
  --   Displays a menu and prompts for a test.

end Test_DoblDobl_Polynomials;
