s中的同形关系符号

Question

我有一个限定集和一个符号，我想把它和一个关系联系起来，这样符号在限定集中，它能和共线吗？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。我更新了我的sympy版本，FinitSet的语法在更新中也发生了变化。我举了一个小例子，我希望在第一时间为记录工作：

^{pr2}$

Answer 1

您要寻找的可能是Contains函数。在

Answer 2

你的代码不适合我。 表达式

x in s

引发异常。 你必须先给x赋值。 那么你就可以用“in”。在

像这样：

^{pr2}$

以下是完整的设置：

>>> from sympy import *
>>> s=FiniteSet(range(0,3))
>>> x=symbols("x")
>>> x in s
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "C:\Users\lhk\Anaconda3\lib\site-packages\sympy\sets\sets.py", line 497, in __contains__
    raise TypeError('contains did not evaluate to a bool: %r' % symb)
TypeError: contains did not evaluate to a bool: Contains(x, {range(0, 3)})
>>> x=3
>>> x in s
False
>>> Contains(x,s)
False
>>>