Sympy поддержка модульных групп

Question

Поддерживает ли Sympy модульные группы?

Я ищу что-то похожее на функцию pari/gp Mod.

Answer 1

Несколько странно, что кольцо целых чисел по модулю n реализовано как GF(n) (обозначение, предлагающее конечные поля, которые вообще не являются).Таким образом, 5 мод 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