semiring source