tr:math:linear_alg:inner_product:orthogonality