INTERFACE LongRealComplexPolynomialBasic = PolynomialBasic (LongRealComplex, LongRealComplexVector) END LongRealComplexPolynomialBasic.