Théorie algébrique des nombres avec GP
polredbest
Parfois, on peut trouver un polynôme de définition plus simple
pour le même corps de nombres, en utilisant polredbest :
? {h = x^5 + 7*x^4 + 22550*x^3 - 281686*x^2
- 85911*x + 3821551};
? polredbest(h)
%7 = x^5 - x^3 - 2*x^2 + 1
Interprétation : Q[x]/h(x) ∼
= Q[x]/(x5 − x3 − 2x2 + 1).