Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix unexpected error in ConjugacyClassesSubgroups #5033

Merged

Conversation

fingolfin
Copy link
Member

This disables an attempt to use cyclic extension instead of lifting for
lattices of smallish groups. The issue is that CE returns data in a
slightly different format than required. This resulted in some commands,
e.g. ConjugacyClassesSubgroups(SmallGroup(1344,11293)), to enter a
break loop.

If tomlib is loded it's a mote issue, and thus does not merit further
investigation.

This resolves #4854


This patch is taken from @hulpke's PR #5031 (but with a test case added and a code comment explaining what's going on). Having different, unrelated improvements and bug fixes on separate PRs reduces the work needed to make GAP releases quite a bit (as it allows us to deal with those PRs in automation, instead of adding them to the list of PRs that need manual work), and is also more convenient for reviewers, so I am splitting it off here.

This disables an attempt to use cyclic extension instead of lifting for
lattices of smallish groups. The issue is that CE returns data in a
slightly different format than required. This resulted in some commands,
e.g. `ConjugacyClassesSubgroups(SmallGroup(1344,11293))`, to enter a
break loop.

If tomlib is loded it's a mote issue, and thus does not merit further
investigation.

This resolves gap-system#4854
@fingolfin fingolfin added kind: bug Issues describing general bugs, and PRs fixing them kind: bug: unexpected error Issues describing bugs in which computation unexpectedly encounters an error, and PRs fixing them release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes backport-to-4.12 labels Sep 5, 2022
@fingolfin fingolfin enabled auto-merge (rebase) September 7, 2022 12:41
@fingolfin fingolfin merged commit 3f55621 into gap-system:master Sep 7, 2022
@fingolfin fingolfin deleted the mh/fix-ConjugacyClassesSubgroups branch September 7, 2022 12:41
@fingolfin
Copy link
Member Author

Backported to stable-4.12 via e2a206e

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport-to-4.12-DONE kind: bug: unexpected error Issues describing bugs in which computation unexpectedly encounters an error, and PRs fixing them kind: bug Issues describing general bugs, and PRs fixing them release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

ConjugacyClassesSubgroups fails for SmallGroup(1344,11293)
3 participants