python - 如何在(Python 的)sympy 中将 float 转换为 int？

Question

我有一个 sympy Float 常量，例如，

x=Float(3.2)

我需要将 float 转换为整数，即

x+Int(3)

sympy 中是否有任何内置方法可以将 Float(3.2) 转换为 Int(3)？

Answer 1

将 float 转换为 SymPy 整数:

In [1]: a = 3.2

In [2]: b = Integer(a)

In [3]: b
Out[3]: 3

SymPy 整数在除法下的数学行为:

In [4]: b/2
Out[4]: 3/2

将相同的 float 转换为 Python 整数:

In [5]: c = int(a)

In [6]: c  
Out[6]: 3

在 Python 3 中或使用 future 除法，你可以获得一个 float :

In [7]: c/2
Out[7]: 1.5