package Test_OctoDobl_Polynomials is

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

  procedure Test_Polynomial_Convertor;

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

  procedure Test_Laurent_Polynomial_Convertor;

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

  procedure Main;

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

end Test_OctoDobl_Polynomials;
