python - Python/SymPy 在绝对函数中求解具有复变量的不等式

Question

任务是绘制与以下方程相对应的点集，假设“z”是复数 (a+b*I)。

第一个问题是 SymPy 显然无法解决在 abs 函数中包含虚值的表达式，这确实令人失望。所以我使用了一种解决方法，导致：

到目前为止一切顺利，现在我尝试用“solveset()”解决它：

eq_3b = Lt(sqrt(a**2 + (b-1)**2),10)
solveset(eq_3b,a)

这会导致错误：

Inequalities in the complex domain are not supported. Try the real
domain by setting domain=S.Reals

通过提议的更改，我得到：

这是“sympy.sets.conditionset.ConditionSet”类型的，这让我没有进一步的了解。

我的问题是是否有另一种或更好的方法来解决这个问题？请帮我。

标签： pythonmathsympy