Sympy关系符号集

时间:2015-12-22 10:54:47

标签: python sympy discrete-mathematics integer-programming

我有一个FiniteSet和一个符号,我想用它来关联一个Relation,使得符号在FiniteSet中,是否可以同情? symbol in FiniteSet不返回表达式,而是对其进行求值:

>>> from sympy import *   
>>> s = FiniteSet(range(0,3))
>>> x = symbols('x')
>>> x in s
False
>>> Eq(x,s)
x == {0, 1, 2}
>>> In(x,s)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
NameError: name 'In' is not defined

编辑:感谢ohe告诉我Contains。我更新了我的症状版本,通过更新中FinitSet的语法也发生了变化。我给出了一个我希望在记录的第一个位置工作的小例子:

>>> from sympy import *   
>>> x = symbols('x')
>>> s = FiniteSet(*range(0,3))
>>> init_printing()
>>> Contains(x,s)
x ∈ {0, 1, 2}

2 个答案:

答案 0 :(得分:2)

您正在寻找的可能是Contains功能。

答案 1 :(得分:0)

您的代码对我不起作用。 表达式

$this->formElement

引发了一个例外。 您必须先为x分配值。 然后你可以在&#34;中使用&#34;。

像这样:

x in s

以下是完整设置:

s = FiniteSet(range(0,3))
x = symbols('x')
x=3
x in s # False