Skip to content

Fix leading zero bug in matroid_hex#4299

Merged
benlorenz merged 1 commit intooscar-system:masterfrom
Sequenzer:fix/matroid_hex
Nov 12, 2024
Merged

Fix leading zero bug in matroid_hex#4299
benlorenz merged 1 commit intooscar-system:masterfrom
Sequenzer:fix/matroid_hex

Conversation

@Sequenzer
Copy link
Copy Markdown
Collaborator

Fixed the bug that

matroid_hex(uniform_matroid(1,4)) == "r1n4_0f"`.

instead of

matroid_hex(uniform_matroid(1,4)) == "r1n4_f"`.

This does not change the functionality of matroid_hex, but saves memory.

@Sequenzer Sequenzer requested a review from lkastner November 12, 2024 10:15
Copy link
Copy Markdown
Member

@lkastner lkastner left a comment

Choose a reason for hiding this comment

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

Ok

@codecov
Copy link
Copy Markdown

codecov Bot commented Nov 12, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.49%. Comparing base (24711ee) to head (fe63b4b).
Report is 270 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #4299      +/-   ##
==========================================
- Coverage   84.49%   84.49%   -0.01%     
==========================================
  Files         641      641              
  Lines       85476    85523      +47     
==========================================
+ Hits        72226    72264      +38     
- Misses      13250    13259       +9     
Files with missing lines Coverage Δ
src/Combinatorics/Matroids/properties.jl 98.33% <100.00%> (-0.02%) ⬇️

... and 19 files with indirect coverage changes

@benlorenz benlorenz merged commit 2d7a2b0 into oscar-system:master Nov 12, 2024
@lgoettgens lgoettgens mentioned this pull request Nov 13, 2024
benlorenz pushed a commit that referenced this pull request Nov 18, 2024
@benlorenz benlorenz mentioned this pull request Nov 18, 2024
1 task
@thofma thofma 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
@fingolfin fingolfin changed the title fixed the leading zero bug in matroid_hex Fix leading zero bug in matroid_hex Feb 27, 2025
@fingolfin fingolfin added the bug Something isn't working label Feb 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working 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.

6 participants