Factorisation d’un polynôme à coefficients dans un corps de Galois : factor

On peut factoriser un polynôme à coefficients dans un corps de Galois avec factor.
On tape par exemple pour avoir G=F₄ :

GF(2,2,a)

On obtient :

GF(2,k^2+k+1,[k,K,a],undef)

On tape par exemple :

factor(a^2*x^2+1))

On obtient :

(a+1)*(x+a+1)^2