Sympy 对模块化组的支持

Sympy support for Modular groups

Sympy 是否支持模块化组?

我正在寻找类似于 pari/gpMod 函数的东西。

有点令人困惑的是,整数环 modulo n 被实现为 GF(n)(暗示有限域的符号,而这些通常不是)。因此,5 mod 12 将表示为

>>> from sympy import GF
>>> x = GF(12)(5)
>>> print(x)
5 mod 12
>>> print(x*4)
8 mod 12
>>> print(-x)
7 mod 12
>>> print(x+10)
3 mod 12
>>> print(x**2)
1 mod 12