（1,2）是（0,3）的子集，但我怎么能在同情中表示这个？

Question

（1,2）是（0,3）的子集，但我怎样才能在SymPy中表示它？

a = Interval(1,2)
b = Interval(0,3)

我想在SymPy中表示a是b的子集，但我无法弄清楚如何这样做。

Answer 1

您可以直接使用is_subset检查a是b的子集。

>>> Interval(1, 2).is_subset(Interval(0, 3))
True

SymPy.sets中有大量其他集合操作。