Inner Product Space Linear Algebra