python - python sympy (不等式 OR リレーショナル) から (設定 OR 間隔)

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 オブジェクトです。（これにより、交差、結合、補数などを使用できます...）。

この変換を実行するにはどうすればよいですか?