INTERFACE RealPolynomial = Polynomial (RealBasic, RealVector, RealPolynomialFast) END RealPolynomial.