On Saturday, 27 June 2020 at 23:16:37 UTC, Ianis Vasilev wrote: > On Saturday, 27 June 2020 at 20:03:30 UTC, Superstar64 wrote: >> [...] > > Yes, the whole point was implementing the corresponding > semigroup operations. > > [...] I meant semiring operations, sorry.