Skip to content

[TambyVanderpooten] round solutions to Int during the algorithm - #213

Merged
odow merged 2 commits into
masterfrom
od/tv-int
Oct 29, 2026
Merged

odow merged 2 commits into
masterfrom
od/tv-int

Conversation

@odow

@odow odow commented Oct 28, 2026

Copy link
Copy Markdown
Member

This avoids all the numerical issues associated with tolerances. The paper assumes exact arithmetic, and we already use an epsilon of 1, so we're not really loosing anything here, apart from the ability to use a different epsilon in the future.

odow added 2 commits October 29, 2026 12:33
This avoids all the numerical issues associated with tolerances.
The paper assumes exact arithmetic, and we already use an epsilon
of 1, so we're not really loosing anything here, apart from the
ability to use a different epsilon in the future.
@codecov

codecov Bot commented Oct 28, 2026 •

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.65%. Comparing base (a2dbe62) to head (76b970c).

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #213   +/-   ##
=======================================
  Coverage   99.64%   99.65%           
=======================================
  Files          15       15           
  Lines        1427     1432    +5     
=======================================
+ Hits         1422     1427    +5     
  Misses          5        5           

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

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

@odow
odow merged commit d87cb37 into master Oct 29, 2026
6 checks passed
@odow
odow deleted the od/tv-int branch October 29, 2026 00:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant