LinearAlgebra/Definitions: The original version.