rowAdd a trois arguments : une matrice A et deux entiers n1 et n2. rowAdd renvoie la matrice obtenue en remplacant dans A la ligne n2 par la somme des lignes n1 et n2. On tape :
On obtient :