update matmult tropical