first implementation of the tropical semiring ((min,+)-algebra)
matrix-test now uses the tropical SR