Matrix_semialgebra loading ...