Finite field

finite_field(Integer)

finite_field(Integer, Identifier)

finite_field(Field, Integer)

finite_field(Field, Integer, Identifier)

Given an integer $p$ (prime or multiple of a prime), constructs a finite field with $p$ elements.

Given an integer $p$ (prime or multiple of a prime) and an identifier $x$, constructs a finite field with $p$ elements in the variable $x$.

Given a field $F$ and an integer $n$, constructs an extension of $F$ with order $n$.

Given a field $F$ and an integer $n$ and an identifier $x$, constructs an extension of $F$ with order $n$ in the variable $x$.