Théorie algébrique des nombres avancée polgalois P2 = x^4-x^3-7*x^2+2*x+9; polgalois(P2) % = [12, 1, 1, "A4"] Le groupe de Galois est d’ordre 12, signature 1, et est isomorphe à A4. P3 = x^4-x^3-3*x^2+x-1; polgalois(P3) % = [24, -1, 1, "S4"] Le groupe de Galois est d’ordre 24 et signature −1, et est isomorphe à S4.