First time here? Check out the FAQ!
answered 2015-12-22 22:47:43 +0100
def insert_row(M,k,row): return matrix(M.rows()[:k]+[row]+M.rows()[k:])