Skip to content

Add cycle_length for PermGroupElem#4359

Merged
fingolfin merged 2 commits intomasterfrom
mh/cycle_length
Nov 28, 2024
Merged

Add cycle_length for PermGroupElem#4359
fingolfin merged 2 commits intomasterfrom
mh/cycle_length

Conversation

@fingolfin
Copy link
Copy Markdown
Member

No description provided.

Comment thread src/Groups/perm.jl Outdated
@codecov
Copy link
Copy Markdown

codecov Bot commented Nov 27, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.34%. Comparing base (43d0c68) to head (73cd037).
Report is 220 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #4359      +/-   ##
==========================================
+ Coverage   84.32%   84.34%   +0.01%     
==========================================
  Files         649      651       +2     
  Lines       86430    86486      +56     
==========================================
+ Hits        72882    72945      +63     
+ Misses      13548    13541       -7     
Files with missing lines Coverage Δ
src/GAP/wrappers.jl 95.01% <100.00%> (+0.01%) ⬆️
src/Groups/perm.jl 98.75% <100.00%> (+0.01%) ⬆️

... and 13 files with indirect coverage changes

Co-authored-by: Thomas Breuer <sam@math.rwth-aachen.de>
Copy link
Copy Markdown
Member

@ThomasBreuer ThomasBreuer 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 merged commit 2cba15c into master Nov 28, 2024
@fingolfin fingolfin deleted the mh/cycle_length branch November 28, 2024 00:40
@lgoettgens lgoettgens added the release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes label Feb 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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.

3 participants