解决符号线性不等式

Question

在sympy中，我可以求解多元线性等式的系统，例如：

print(linsolve([x+y - 3*a, x-y - a], x,y))

表明解为x = 2 * a，y = a。

有没有办法解决类似的不平等问题，例如：

linsolve_inequality([x+y - 3*a, x-y - a], x,y)

应该表明x> 2 * a？