Field:F8

Definition
This is the unique field (up to isomorphism) having eight elements. It is denoted $$F_8$$ or $$GF(8)$$. It can be defined as:

$$\! F_2[x]/(x^3 + x + 1)$$.

where $$F_2$$ is the field of two elements.

GAP implementation
The field can be defined using GAP's GF function:

GF(8)