Skip to content

FIX: SubgroupsSolvableGroups - #6802

Open
hulpke wants to merge 1 commit into
gap-system:masterfrom
hulpke:subgpsolv
Open

hulpke wants to merge 1 commit into
gap-system:masterfrom
hulpke:subgpsolv

Conversation

@hulpke

@hulpke hulpke commented Nov 5, 2026

Copy link
Copy Markdown
Contributor

A shortcut for a case of no complements is only valid if the 1-coboundaries are trivial. This could result in wrong results when computing invariant subgroups.
(This was found with help of Claude AI)

This fixes a bug reported by Heiko Dietrich in the mailing list

A shortcut for a case of no complements is only valid if the 1-coboundaries
are trivial.
(This was found with help of Claude AI)
@hulpke hulpke added kind: bug: wrong result Issues describing bugs that result in mathematically or otherwise wrong results, and PRs fixing them release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes priority: high labels Nov 5, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind: bug: wrong result Issues describing bugs that result in mathematically or otherwise wrong results, and PRs fixing them priority: high release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant