matrix semialgebra