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

Question

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

Я ищу что-то похожее на pari/gp"s 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