Sympy多項式更改域爲基數爲m的整數

Question

如何在sympy中指定Poly位於特定域上。

例如，要件基於7，如$ \ mathbb {Z} $ _7

Answer 1

我不知道如果sympy有$ Z_7 $，但假設你想$ GF（2），美元與2個元素的伽羅瓦領域。那麼你可以：

>>> from sympy import Poly 
>>> Poly(x**2 + 2*x, domain=GF(2)) 
Poly(x**2, x, modulus=2)