INTERFACE RealComplexVectorRep = VectorRep (RealComplex, RealComplexVector, RealComplexVectorBasic) END RealComplexVectorRep.