INTERFACE  RealComplexPolynomialBasic = PolynomialBasic (RealComplex, RealComplexVector) END RealComplexPolynomialBasic.