我是使用 python 和 Sympy 的新手......并且遇到了使用 sympy 解决多元不等式的问题。
假设我在一个文件中有很多函数,如下所示:
cst**(sqrt(x)/2)/cst
exp(sqrt(cst*x**(1/4)))
log(log(sqrt(cst + exp(x))))
(y**(1/4) + y)**cst
sqrt(y/log(x))/cst
sqrt(cst**log(cst) + x)
(y**2)**(x/4)
sqrt(y*sqrt(cst**y))
log(sqrt(2)*sqrt(cst)*x)
我需要推导它们,设置常量的值并检查每个函数 f,
df/dx > 0
df/dy < 0
x 在 [0, +oo) 中,y 在 [0, 1] 中。
要推导我使用:
dx = diff(f, x)
dy = diff(f, y)
然后当我尝试:
cst = 2 #(for example)
solve(dx > 0)
我收到了这个错误:
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "/usr/local/lib/python2.7/dist-packages/sympy/solvers/solvers.py", line 634, in solve
symbols=symbols)
File "/usr/local/lib/python2.7/dist-packages/sympy/solvers/inequalities.py", line 374, in reduce_inequalities
raise NotImplementedError("only univariate inequalities are supported")
NotImplementedError: only univariate inequalities are supported
但是,如果我尝试这样做:
x=Symbol('x', real=True, postive=True, nonzero=True)
y=Symbol('y', real=True, postive=True, nonzero=True)
solve(x**2+y > 0)
我有 :
True
这是一个很好且可行的答案。有没有办法解决多元不等式并总能得到一个可行的答案?
例如我想得到:solve(x**2-y>0) Or(x>-sqrt(y), x>sqrt(y))