[PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node::Tableau: optimize scale( ) method for sparse matrices.