SymPy: 符号区间的并集

Question

我有两个Sympy区间(Interval(1, m), Interval(1, m+1))，其中m>=1。 我想要将这两个区间合并。结果应该是[1,m+1]

不幸的是，我无法将 m 的限制传递给Sympy。

以下是我的实际代码和“过于一般化的”答案：

m = symbols('m', integer=True)
Union(Interval(1, m), Interval(1, m+1))
>> [1, m] U [1, m + 1]

我尝试使用 reduce 函数但没有成功...

非常感谢任何帮助。

谢谢！

- Raz

---

看起来这个简化还没有实现。你应该在SymPy的问题跟踪器中开一个问题来反馈这个情况。 - asmeurer

@asmeurer 我会的，谢谢！ - Raz

Answer 1

我们可以通过创建一个新的interval12来获得所需的输出，方法如下：

m=Symbol('m',positive=True)
interval1 = Interval(0,m)
interval2 = Interval(0,m+4)
union12 = interval1.union(interval2)
interval12 = Interval(union12.inf,union12.sup)
print interval1, interval2, interval12

输出：

[0, m] [0, m + 4] [0, m + 4]

- v1j4y