MODULE LongRealComplexMatrix = Matrix (LongRealComplex, LongRealComplexVector) END LongRealComplexMatrix.