INTERFACE RealComplexPolynomial = Polynomial (RealComplex, RealComplexVector, RealComplexPolynomialBasic) END RealComplexPolynomial.