NaturalSemiring¶
-
class NaturalSemiring : public libsemigroups::SemiringWithThreshold¶
Defined in
semiring.hpp
.This class implements the semiring consisting of \(\{0, 1, ..., t, t + 1, ..., t + p - 1\}\) for some threshold \(t\) and period \(p\) with operations addition and multiplication modulo the congruence \(t = t + p\).