Skip to content

Add documentation for multi-sets and subset iterators to manual#5091

Merged
joschmitt merged 1 commit intomasterfrom
js/msetdoc
Jul 10, 2025
Merged

Add documentation for multi-sets and subset iterators to manual#5091
joschmitt merged 1 commit intomasterfrom
js/msetdoc

Conversation

@joschmitt
Copy link
Copy Markdown
Member

@joschmitt joschmitt commented Jul 8, 2025

@joschmitt joschmitt added documentation Improvements or additions to documentation topic: combinatorics release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Jul 8, 2025
@codecov
Copy link
Copy Markdown

codecov Bot commented Jul 8, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.90%. Comparing base (e09d8d6) to head (38017b5).
Report is 9 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #5091   +/-   ##
=======================================
  Coverage   84.89%   84.90%           
=======================================
  Files         706      706           
  Lines       95523    95523           
=======================================
+ Hits        81097    81105    +8     
+ Misses      14426    14418    -8     

see 1 file with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@joschmitt
Copy link
Copy Markdown
Member Author

@thofma since this is Hecke related, could you have a look (approve...)?

@lgoettgens lgoettgens requested a review from thofma July 10, 2025 08:48
@joschmitt joschmitt merged commit dc0163b into master Jul 10, 2025
37 of 40 checks passed
@joschmitt joschmitt deleted the js/msetdoc branch July 10, 2025 11:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: combinatorics

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add subsets and MSets to combinatorics documentation

2 participants