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 WreathProduct to return correct generators when given a matrix group and an intransitive top group #4664

Merged

Conversation

FriedrichRober
Copy link
Contributor

@FriedrichRober FriedrichRober commented Sep 21, 2021

It was implicitely assumed that the top group is transitive,
resulting in insufficient generators for the base group of the matrix wreath product
if the top group was given intransitive.

Further details

Closes #4663

@FriedrichRober FriedrichRober added the release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes label Sep 21, 2021
@FriedrichRober
Copy link
Contributor Author

I will add a small test later.

@FriedrichRober FriedrichRober changed the title Fix wrong Generators of Matrix Wreath Product. Fix wrong Generators of Matrix Wreath Product with Intransitive Topgroup. Sep 22, 2021
@FriedrichRober FriedrichRober changed the title Fix wrong Generators of Matrix Wreath Product with Intransitive Topgroup. Fix wrong Generators of Matrix Wreath Product with Intransitive Top Group. Sep 22, 2021
@FriedrichRober FriedrichRober changed the title Fix wrong Generators of Matrix Wreath Product with Intransitive Top Group. Fix wrong Generators of MatWreathProduct with Intransitive Top Group. Sep 22, 2021
@FriedrichRober FriedrichRober changed the title Fix wrong Generators of MatWreathProduct with Intransitive Top Group. FIX: wrong Generators of Matrix Wreath Product with Intransitive Top Group. Sep 22, 2021
It was implicitely assumed that the top group is transitive,
resulting in insufficient generators for the base group of the matrix wreath product
if the top group was given intransitive.

Add test to `testbugfix`.
@FriedrichRober
Copy link
Contributor Author

Ok, this is now ready for review.

Copy link
Contributor

@hulpke hulpke left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you -- yes, when I implemented it I only thought about transitive groups.

Copy link
Member

@fingolfin fingolfin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@fingolfin fingolfin added kind: bug Issues describing general bugs, and PRs fixing them kind: bug: wrong result Issues describing bugs that result in mathematically or otherwise wrong results, and PRs fixing them labels Sep 27, 2021
@fingolfin fingolfin merged commit 68acaf8 into gap-system:master Sep 27, 2021
@FriedrichRober FriedrichRober deleted the fr/MatWreathProductGenerators branch October 27, 2021 14:00
@fingolfin fingolfin changed the title FIX: wrong Generators of Matrix Wreath Product with Intransitive Top Group. Fix WreathProduct to return correct generators when given a matrix group and an intransitive top group Aug 17, 2022
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 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.

Wrong Generators for Matrix Wreath Product
3 participants