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

Public member functions