arguments: m:SparseMutableMatrix r:int c:int a:RingElement >> .
Set m[r,c] := a, assuming that the ring of 'a' is the same as the ring of 'm', and the indices are in range.