sympy 使用不等式简化为最小值不起作用

Question

sympy 无法使用不等式

a<b

来简化表达式

Min(a,b)

，这会导致以下代码给出

Min(a,b)

而不是

a

。

from sympy import symbols, Min, simplify

# Define symbols
a, b = symbols('a b')

# Assume a < b
inequality = a < b

# Use the simplify function to simplify the expression
simplified_min = simplify(Min(a, b), assumptions=[inequality])

# The result should be "a"
print(simplified_min)

Answer 1

我不知道

simplify

会使用这样的假设。您可以尝试短暂更改变量：

e = var('eps', positive=True)
from sympy.abc import a, b
>>> Min(a,b).subs(a,b-e).subs(e, b - a)
a