answered 3 years ago
With solve_ineq, you should put equations and variables in a list:
sage: s1 = solve_ineq([x_1 - 2*x_0 <= 20], [x_1]) sage: s1 [[x_1 == 2*x_0 + 20], [x_1 < 2*x_0 + 20]]