prod¶
-
int64_t
libsemigroups::NaturalSemiring::prod(int64_t x, int64_t y) const override¶ Returns
x*ymodulo the congruence \(t = t + p\) where \(t\) and \(p\) are the threshold and period of the semiring, respectively.
libsemigroups::NaturalSemiring::prod(int64_t x, int64_t y) const override¶Returns x * y modulo the congruence \(t = t + p\) where \(t\) and \(p\) are the threshold and period of the semiring, respectively.