id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
18308 No coercion for Galois group elements in different subgroups Jeroen Demeyer "This is essentially #4105 but for Galois group elements.
{{{
sage: K. = NumberField(x^6 + 40*x^3 + 1372)
sage: G = K.galois_group()
sage: L = [G.artin_symbol(Q) for Q in K.primes_above(5)]
sage: L[0] * L[1]
TypeError: unsupported operand parent(s) for '*': 'Subgroup [(), (1,5)(2,4)(3,6)] of Galois group of Number Field in a with defining polynomial x^6 + 40*x^3 + 1372' and 'Subgroup [(), (1,2)(3,4)(5,6)] of Galois group of Number Field in a with defining polynomial x^6 + 40*x^3 + 1372'
}}}
This also causes a doctest failure in `src/doc/en/thematic_tutorials/explicit_methods_in_number_theory/nf_galois_groups.rst` (marked as `random` for now):
{{{
sage: P = K.primes_above(2)[0]
sage: G.inertia_group(P)
Subgroup [(), (1,4,6)(2,5,3), (1,6,4)(2,3,5)] of Galois group of Number Field in alpha with defining polynomial x^6 + 40*x^3 + 1372
sage: sorted([G.artin_symbol(Q) for Q in K.primes_above(5)]) # random order, see Trac #18308
[(1,3)(2,6)(4,5), (1,2)(3,4)(5,6), (1,5)(2,4)(3,6)]
}}}" defect new major sage-6.7 number fields N/A