MODULE  ExtendedComplexVectorBasic = VectorBasic (ExtendedComplex, ExtendedComplexVector) END ExtendedComplexVectorBasic.