add martelli semiring