python sympy（不等式或关系）to（set或interval）

Question

如何从（不等式/关系）对象获取结果并将其转换为（集/区间）对象？你知道吗

import sympy
import sympy.solvers
#import sympy.solvers.inequalities
from sympy.solvers.inequalities import reduce_rational_inequalities 

x = sympy.Symbol('x')

ExampleInequalities1 = [[x**2 <= 1]]
ResultDomain1 = reduce_rational_inequalities(ExampleInequalities1, x)
print 'ResultDomain1', ResultDomain1

给了我：

>>> And(-1 <= x, x <= 1)

上述结果可以表示为：

>>> sympy.Interval(-1, 1)

它是一个Sympy Set Interval对象。（它允许我使用交集、union、补码等）。你知道吗

如何执行此转换？你知道吗

Answer 1

使用as_set方法：

>>> And(-1 <= x, x <= 1).as_set()
[-1, 1]

你可以回到as_relational

>>> Interval(-1, 1).as_relational(x)
(-1 <= x) & (x <= 1)