def update_basis(A, basis, i, j): for k, var in enumerate(basis): idx = int(var[1:]) if A[i][j] == 1: basis[k] = "x" + str(