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

fixes for wedderburn #35

Merged
merged 12 commits into from
Aug 25, 2023
Merged

fixes for wedderburn #35

merged 12 commits into from
Aug 25, 2023

Conversation

kalmarek
Copy link
Owner

No description provided.

@codecov
Copy link

codecov bot commented Aug 23, 2023

Codecov Report

Patch coverage: 97.91% and project coverage change: +1.71% 🎉

Comparison is base (a282beb) 95.19% compared to head (72a4589) 96.90%.

Additional details and impacted files
@@            Coverage Diff             @@
##           master      #35      +/-   ##
==========================================
+ Coverage   95.19%   96.90%   +1.71%     
==========================================
  Files          16       16              
  Lines         770      776       +6     
==========================================
+ Hits          733      752      +19     
+ Misses         37       24      -13     
Flag Coverage Δ
unittests 96.90% <97.91%> (+1.71%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Files Changed Coverage Δ
src/precompile.jl 100.00% <ø> (ø)
src/perm_group.jl 96.66% <85.71%> (+0.05%) ⬆️
src/Perms/arithmetic.jl 100.00% <100.00%> (ø)
src/Perms/perm_images.jl 95.77% <100.00%> (+0.18%) ⬆️
src/PermutationGroups.jl 100.00% <100.00%> (ø)
src/io.jl 100.00% <100.00%> (+100.00%) ⬆️
src/schreier_sims.jl 93.82% <100.00%> (+0.07%) ⬆️

... and 1 file with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

this adds an assertion that would have caught the error.
The group in the test example has order 120 which the
faulty version reports as 40
@kalmarek kalmarek merged commit 70e7e37 into master Aug 25, 2023
20 checks passed
@kalmarek kalmarek deleted the mk/fixes_for_Wedderburn branch August 25, 2023 23:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant