Closed for the following reason
question is off-topic or not relevant by
kcrisman
close date 2013-10-05 22:50:52
Comments
Again, Sage cannot *prove* such things. You can of course do `A = matrix([0]); B = matrix([1]); rank(A)*rank(B) == rank(A*B)` to get `True` but that is not a proof.
Again, Sage cannot *prove* such things. You can of course do `A = matrix([0]); B = matrix([1]); rank(A)*rank(B) == rank(A*B)` to get `True` but that is not a proof.