prod

int64_t libsemigroups::TropicalMinPlusSemiring::prod(int64_t x, int64_t y) const

Returns POSITIVE_INFINITY if either parameter equals POSITIVE_INFINITY, otherwise return the minimum of the usual integer sum of the parameters and the threshold of the semiring.