Modular reduction in Galois fields

edit

First, define k to be the field GF(2^5), whose generator is named a:

sage: k.<a> = FiniteField(2^5); k
Finite Field in a of size 2^5

Alternatively :

sage: k = GF(2^5, 'a'); k
Finite Field in a of size 2^5

Then, define the polynomial ring k[x]:

sage: R.<x> = PolynomialRing(k); R
Univariate Polynomial Ring in x over Finite Field in a of size 2^5

Alternatively:

sage: R = k['x']; R
Univariate Polynomial Ring in x over Finite Field in a of size 2^5

Then, do your computation in R:

sage: P = R(x^6)
sage: P.mod(x^5+x^2+1)
x^3 + x