with Generic_Bracket_Polynomials;
with DoblDobl_Complex_Ring;

package DoblDobl_Bracket_Polynomials is 
  new Generic_Bracket_Polynomials(DoblDobl_Complex_Ring);

-- DESCRIPTION :
--   Bracket polynomials over the ring of double double complex numbers.
