Sympy-fai中的模计算

Question

在Sympy中有一个计算，我想是模2。 但是，如果我只是写

from sympy.abc import x
(((x + 1) % 2) + 1) % 2

然后这有一个输出Mod(Mod(x + 1, 2) + 1, 2)，即两个+1不会消失。即使调用.simplify()也没有预期的效果。在

另一个帖子（Modulo 2 arithmetics in SymPy）建议sympy.trunc。但如果表达式为整数，则此函数不起作用。 我甚至尝试了sympy.trunc(sympy.sympify(1),2)，但仍然产生了一个错误。在

那么如何得到一个对整数和所有系数起作用的模函数呢？在

我知道这是一个基本的问题，我很困惑，我找不到答案。在

Answer 1

处理此问题的更好方法是使用带有模数标志的Poly：

>>> Poly(x + 1, x, modulus=2) + Poly(1, x, modulus=2)
Poly(x, x, modulus=2)