我有这个SymPy代码：
n = Symbol("n", integer=True)
expr = Eq(n, 0) | (n >= 1)
我希望
expr.simplify()导致n >= 0，但不会。如何使这种简化工作？
我报告了上游here。
最佳答案
这是一个不连续的集合（点0以及从1开始的所有点以及更大的点），因此无法简化。不等式n >= 0包括例如n = 1/2，它不属于给定的expr。
关于python - 简化SymPy方程/等式和Ge/GreaterThan整数表达式，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/59806161/