python的渐近性(不等式或关系)到(设置或间隔)

Question

如何将(不等式/关系)对象的结果转化为(set / interval)对象？

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对象。(它允许我使用交集、单数、补语等)。

如何执行此转换？

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)