INTERFACE LongRealPolynomialInterpolation = Interpolation (LongRealBasic, LongRealPolynomial) END LongRealPolynomialInterpolation.