Would it be possible to add some functionality to sage.rings.number_field.galois_group.GaloisGroup?

[af34da7a-5b1a-45c9-aac1-252621303487]

If K is a number field, then K.galois_group() gives a group with very little functionality. One can get an abstract group with more functionality by calling K.galois_group().group(), but it would be nice to be able to access the functionality of the group type without having to forget the metadata attached to the Galois group (its number field, etc). Would this be difficult?

Component: group theory

Issue created by migration from https://trac.sagemath.org/ticket/3754

[85eec1a4-3d04-4b4d-b711-d4db03337c41]

comment:1

This is not something that should be a ticket in trac since it is too undefined. The summary does not accurately describe a solvable ticket, so something like this should go to sage-devel before opening a ticket.

I am tempted to invalidate this ticket. William?

Cheers,

Michael

[11d1fc49-71a1-44e1-869f-76be013245a0]

comment:2

My work at #5159 hopefully provides something a bit closer to what Lloyd was after. In any case it invalidates his description above :-) Shall we close this one now?

[85eec1a4-3d04-4b4d-b711-d4db03337c41]

comment:3

Fixed via #5159. Any sort of feature request should go to sage-devel or sage-nt anyway since the visibility of tickets tends to be quite low.

Thanks David for following up :)

Cheers,

Michael