[(-3/2*b + 17/2)*a - 7*b + 4, 6*a - 5*b, -2*b*a + 5, 11*a - 9*b]
[1, 1/2*a^2 + 1/2*a, a^2]
['is galois : ', True]
Class group of order 6 with structure C6 of Number Field in a with defining polynomial x^2 + 29
Fractional ideal class (3, a + 2)
[3, a + 2]
[1, a]
30
78
[1, a]
Fractional ideal class (3, a + 2)
Fractional ideal class (5, a + 4)
Fractional ideal class (2, a + 1)
Fractional ideal class (5, a + 1)
Fractional ideal class (3, a + 1)
Trivial principal fractional ideal class
(1,2)
<class 'sage.rings.number_field.galois_group.GaloisGroupElement'>
a
PARI group [2, -1, 1, "S2"] of degree 2