F = GF(((2^13 - 1)^13), name='x', module=x^13+2, check_irreducible=True) F F.modulus()
F = GF(((2^13 - 1)^13), name='x', modulus=x^13+2, check_irreducible=True) F F.modulus()