Matrix_semiring loading ...