deduce finiteness of the normal subgroup in quo
#2842
Conversation
if finiteness of the whole group was set in the computation on the GAP side (suggested by Wolfram)
|
How shall I deal with the segmentation fault in |
| @@ -483,6 +483,10 @@ PermGroup | |||
| """ | |||
| function quo(G::T, N::T) where T <: GAPGroup | |||
| mp = GAP.Globals.NaturalHomomorphismByNormalSubgroup(G.X, N.X)::GapObj | |||
| # The call may have found out new information about `G.X`, | |||
| # for example that `G.X` is finite. | |||
| #FIXME: The GAP function should deal with this situation. | |||
There was a problem hiding this comment.
What GAP function should deal with what situation? You mean, if anything is learned about a group
Or maybe just that all "related groups" that are known "and at hand / reachable / already handled in our code" ? As in the case of NaturalHomomorphismByNormalSubgroup, but potentially others (e.g. Normalizer)?
There was a problem hiding this comment.
Sorry for not being precise enough.
I meant that GAP.Globals.NaturalHomomorphismByNormalSubgroup (or rather GAP.Globals.NaturalHomomorphismByNormalSubgroupNC) is a better place for the call of UseSubsetRelation, and I meant only one call for the pair (G, N).
if finiteness of the whole group was set in the computation on the GAP side
(suggested by @wdecker)