INTERFACE RealComplexVectorTrans = VectorTrans (RealBasic, RealComplexVector) END RealComplexVectorTrans.