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 some combinatorics #3860

Merged
merged 7 commits into from
Jun 17, 2024
Merged

Conversation

joschmitt
Copy link
Member

Fixes some of the issues mentioned in #3850.

Copy link

codecov bot commented Jun 13, 2024

Codecov Report

Attention: Patch coverage is 95.45455% with 1 line in your changes missing coverage. Please review.

Project coverage is 81.86%. Comparing base (b9f564a) to head (f472f2a).
Report is 8 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #3860      +/-   ##
==========================================
+ Coverage   81.84%   81.86%   +0.01%     
==========================================
  Files         580      581       +1     
  Lines       79900    80012     +112     
==========================================
+ Hits        65398    65502     +104     
- Misses      14502    14510       +8     
Files Coverage Δ
...mbinatorics/EnumerativeCombinatorics/partitions.jl 96.94% <100.00%> (ø)
...rics/EnumerativeCombinatorics/schur_polynomials.jl 98.44% <100.00%> (+17.49%) ⬆️
...rc/Combinatorics/EnumerativeCombinatorics/types.jl 100.00% <100.00%> (+2.46%) ⬆️
...Combinatorics/EnumerativeCombinatorics/tableaux.jl 97.33% <50.00%> (ø)

... and 11 files with indirect coverage changes

@JohnAAbbott
Copy link
Contributor

@joschmitt in file test/Combinatorics/EnumerativeCombinatorics/compositions.jl should there be an @inferred at line 58?

Copy link
Contributor

@JohnAAbbott JohnAAbbott 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 very good to me; I've not tried running the improved tests, but they look to be quite thorough! I have written one (unimportant?) question in the chat.

@joschmitt
Copy link
Member Author

@joschmitt in file test/Combinatorics/EnumerativeCombinatorics/compositions.jl should there be an @inferred at line 58?

Yes, I should also put it there. Thank you!

@joschmitt joschmitt enabled auto-merge (squash) June 17, 2024 15:11
@joschmitt joschmitt merged commit 265e89c into oscar-system:master Jun 17, 2024
27 of 29 checks passed
@joschmitt joschmitt deleted the js/combinatorics branch June 17, 2024 17:24
@joschmitt joschmitt added the backport 1.1.x backport for release 1.1 label Jun 18, 2024
@joschmitt
Copy link
Member Author

@benlorenz It would be good to have this in 1.1. It contains some bugfixes and might be nice to have for the Begehung.

benlorenz pushed a commit that referenced this pull request Jun 18, 2024
* Make sure the combinatorics functions work for every integer type

* Fix `is_standard` for negative values

* Fix documentation of Schur polynomials

* Fix `schur_polynomial`

* Change one-line/terse printing of tableaux

(cherry picked from commit 265e89c)
@benlorenz benlorenz mentioned this pull request Jun 18, 2024
9 tasks
@benlorenz benlorenz removed the backport 1.1.x backport for release 1.1 label Jun 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants