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\).