Skip to content

Add isomorphic_subgroups#4401

Merged
fingolfin merged 1 commit intooscar-system:masterfrom
ThomasBreuer:TB_isomorphic_subgroups
Dec 13, 2024
Merged

Add isomorphic_subgroups#4401
fingolfin merged 1 commit intooscar-system:masterfrom
ThomasBreuer:TB_isomorphic_subgroups

Conversation

@ThomasBreuer
Copy link
Copy Markdown
Member

and add missing is_isomorphic method for FinGenAbGroup

and add missing `is_isomorphic` method for `FinGenAbGroup`
@codecov
Copy link
Copy Markdown

codecov Bot commented Dec 13, 2024

Codecov Report

Attention: Patch coverage is 86.95652% with 3 lines in your changes missing coverage. Please review.

Project coverage is 84.40%. Comparing base (6b027f0) to head (2158b4c).
Report is 183 commits behind head on master.

Files with missing lines Patch % Lines
src/Groups/homomorphisms.jl 86.36% 3 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##           master    #4401   +/-   ##
=======================================
  Coverage   84.40%   84.40%           
=======================================
  Files         656      656           
  Lines       87246    87270   +24     
=======================================
+ Hits        73640    73661   +21     
- Misses      13606    13609    +3     
Files with missing lines Coverage Δ
src/GAP/wrappers.jl 95.14% <100.00%> (+0.01%) ⬆️
src/Groups/homomorphisms.jl 91.73% <86.36%> (-0.22%) ⬇️

... and 1 file with indirect coverage changes

Copy link
Copy Markdown
Collaborator

@mjrodgers mjrodgers left a comment

Choose a reason for hiding this comment

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

This looks good! I'm assuming these two checks that fail are just flukes and will pass on another run.

@joschmitt
Copy link
Copy Markdown
Member

The book test nightly failure is #4402. I restarted the julia 1.6 job.

@fingolfin fingolfin merged commit 01f31ee into oscar-system:master Dec 13, 2024
@ThomasBreuer ThomasBreuer deleted the TB_isomorphic_subgroups branch December 13, 2024 21:54
@fingolfin fingolfin changed the title add isomorphic_subgroups Add isomorphic_subgroups Feb 27, 2025
@fingolfin fingolfin added release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes enhancement New feature or request labels Feb 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: groups

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants