Python 如何用sympy绘制x==2.5（垂直线）

我需要绘制一组方程式：

x1 + 2 * x2 == 8
x1 + 2 * x2 == 10
x1 == 5.5
x2 == 2.5

我正在尝试使用sympy来实现这一点：

from sympy import *
x1, x2 = symbols('x1 x2')
plot(
    solve(Eq(x1 + 2 * x2, 8), x1)[0], # x1 + 2*x2 <= 8
    solve(Eq(x1 + 2 * x2, 10), x1)[0], # x1 + 2*x2 <= 10
    5.5, # x1 <= 5.5
    Eq(x2, 2.5), # x2 <= 2.5 !<< This does not work as expected
    (x2, -2, 10)
)

来自sympy导入的

*
x1，x2=符号（'x1-x2'）
密谋(
求解（等式（x1+2*x2，8），x1）[0]，#x1+2*x2您可以使用
plot_implicit

>>来自sympy导入符号、等式、绘图
>>>x2=符号（'x2'）
>>>图_隐式（等式（x2，2.5））