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.

Sign up for GitHub

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

Jump to bottom

improve isomorphism(FPGroup, abelian_group(...)) #3572

Merged
merged 1 commit into from
Apr 9, 2024
Merged

improve isomorphism(FPGroup, abelian_group(...)) #3572

merged 1 commit into from
Apr 9, 2024
+3 −2

Conversation

ThomasBreuer
Copy link
Member

Use known information instead of checking it.

@ThomasBreuer
improve isomorphism(FPGroup, abelian_group(...))
0aa9c2d 
Use known information instead of checking it.
@ThomasBreuer ThomasBreuer requested a review from fieker April 9, 2024 13:26
fieker
fieker approved these changes Apr 9, 2024
View reviewed changes
Copy link
Contributor

@fieker fieker left a comment

Choose a reason for hiding this comment

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

looks like it makes sense

@thofma thofma merged commit 05ec2fa into oscar-system:master Apr 9, 2024
24 checks passed
@ThomasBreuer ThomasBreuer deleted the TB_abelian_FPGroup branch April 9, 2024 19:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fieker fieker

@lgoettgens lgoettgens

Assignees
No one assigned
Labels
topic: groups
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@ThomasBreuer @fieker @lgoettgens @thofma