Add matrix martelli semiring init