MODULE ExtendedMatrixDecomposition = MatrixDecomposition (ExtendedBasic, ExtendedTrans, ExtendedVector, ExtendedMatrix) END ExtendedMatrixDecomposition.