Python中间隔的交集

Question

我希望在Python中有一个条件列表，它具有两个间隔的非空交集，其边界只是符号。 例如，对于此输入：

a,b,z = Symbols('a b z')
intersect([a,b],[a,b]/z)

输出应该是z上条件的列表，这样这个交集非空。

谢谢

Answer 1

一般交叉点代码在this SymPy PR中实现，可用于执行此操作，但它不直接连接到Set交叉点;它用于解决Piecewise((1, And(x<b,x>c)), (2, x<d), (0, True))之类的区间会给出1,2或3的不同值的区间。但我不确定[a,b]/z的含义。