Théorie algébrique des nombres avec GP
Irréductibilité
Dans GP, un corps de nombres K est décrit comme
K = Q[x]/f(x)
où f ∈ Z[x] est un polynôme irréductible unitaire.
? f = x^4 - 2*x^3 + x^2 - 5;
? polisirreducible(f)
%2 = 1
GP connait les polynômes cyclotomiques :
? g = polcyclo(30)
%3 = x^8 + x^7 - x^5 - x^4 - x^3 + x + 1