如何摆脱sympy替换错误信息？

Question

我有一个恼人的错误消息，我无法弄明白。 以下代码（在Python 3中）给出了正确的结果：

from sympy import *
x, y, z, t = symbols('x y z t') 
expr = cos(x) + 1
print(expr.subs(x, y))

结果是：

cos(y) + 1

但是，当expr被修改或者说不同时，

from sympy import *
x, y, z, t = symbols('x y z t') 
expr = 1
print(expr.subs(x, y))

输出是错误消息，

AttributeError: 'int' object has no attribute 'subs'

我怎样才能解决这个问题？ 我需要sub来处理符号表达式和必要时的数字（比如说符号表达式被修改为结果是数字的）。 问候。

Answer 1

第二个示例中的1不是SymPy编号，只是常规Python整数。

您可以使用S() （或sympify() ）函数将其转换为SymPy数字。

官方的文档有一个陷阱条目描述问题并给出了几个例子，并且说明了什么sympify可以做。

Answer 2

1不是Sympy表达式。 1只是一个普通的Python int。 如果要对其执行替换，则需要将其包装在Sympy Integer中。 （另外，停止使用import * 。）：

import sympy

expr = sympy.Integer(1)

请注意，Sympy整数显示与常规整数相同，因此如果某些1 s似乎有一个subs方法而其他的没有，那么这些1可能不是全部是同一类型。 你可以检查type ：

In [14]: x = 1

In [15]: y = sympy.Integer(1)

In [16]: x
Out[16]: 1

In [17]: y
Out[17]: 1

In [18]: type(x)
Out[18]: int

In [19]: type(y)
Out[19]: sympy.core.numbers.One

Answer 3

与其他答案一样， 1不是SymPy整数，而是Python整数。 因此它没有SymPy的方法。

您可以将expr声明为以下之一以使其工作：

• expr = S.One
• expr = S(1)
• expr = Integer(1)

SymPy整数是Integer类的实例，而Python整数是int对象。

还有一个技巧可以避免这一步骤：执行isympy -i 。 -i参数添加一个额外的输入层，用Integer(digits)对象替换所有数字，例如：

In [1]: 1
Out[1]: 1

In [2]: In[1]
Out[2]: u'Integer (1 )'

也就是说，使用IPython检查输入1是什么，给出u'Integer (1 )' 。