Fix FactorCosetAction(G, G)
for perm. groups
#5903
Open
+8
−2
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Catch the case of an action with trivial image in
DoFactorCosetActionPerm
, and delegate toDoFactorCosetAction
in this case.resolves #5902
(Just for curiosity:
The code for
DoFactorCosetAction
andDoFactorCosetActionPerm
deals with the case that the second argument is a list (not a group), but only in order to callError
if this list is empty. The functions called later, such asCore
andActionRefinedSeries
, do not accept a list as the value of this argument.Is this list situation meaningful at all?)