with Standard_Integer_Numbers;           use Standard_Integer_Numbers;
with Standard_Integer_Vectors;

package Test_TripDobl_Speel_Convolutions is

-- DESCRIPTION :
--   Tests a vectorized version of the computation of Speelpenning products
--   for truncated power series in triple double precision.

  procedure TripDobl_Test ( dim,deg : in integer32 );

  -- DESCRIPTION :
  --   Generates random coefficient vectors for as many series as
  --   the value of dim, series truncated to degree deg, and runs a test.

  procedure TripDobl_Indexed_Test
              ( dim,deg,nz : in integer32;
                xp : in Standard_Integer_Vectors.Vector );

  -- DESCRIPTION :
  --   Generates random coefficient vectors for as many series as
  --   the value of dim, series truncated to degree deg, and runs a test,
  --   for a random exponent vector xp of zeros and ones,
  --   where the number of nonzeros nz > 2.

  procedure Indexed_Test ( dim,deg : in integer32 );

  -- DESCRIPTION :
  --   Generates random coefficient vectors for as many series as
  --   the value of dim, series truncated to degree deg, and runs a test
  --   for a random exponent vector of zeros and ones.

  procedure Main;

  -- DESCRIPTION :
  --   Prompts for the degree, the dimension,
  --   and the setup for a test.

end Test_TripDobl_Speel_Convolutions;
