TinneyMat supports diagonal pivoting