feature add (other: MATRIX [T]) is -- add other to Current matrix require not_Void: (other /= Void); same_size: (nrow = other.nrow) and (ncolumn = other.ncolumn) local i, j : INTEGER do from i := 1 until i > nrow loop from j := 1 until j > ncolumn loop put(item(i,j) + other.item(i,j), i, j) j := j + 1 end -- loop on j i := i + 1 end -- loop on i end -- add