Skip to content

Run narrow-precision MMC solves in Float64 - #46

Merged
timholy merged 1 commit into
mainfrom
float32-promotion
Aug 23, 2026
Merged

Run narrow-precision MMC solves in Float64#46
timholy merged 1 commit into
mainfrom
float32-promotion

Conversation

@timholy

@timholy timholy commented Aug 23, 2026

Copy link
Copy Markdown
Member

The AbsLog{2} penalty continuation resolves descent of order eps(T) at penalty strengths up to 1e8, and its tolerances are multiples of eps(T). Both assume double precision: in Float32 every stage past the first makes no progress. A working type narrower than Float64 now runs the whole solve in Float64, on the matrix converted in place of its wrapper, and returns the cover in the element type the input calls for.

The AbsLog{2} penalty continuation resolves descent of order eps(T) at
penalty strengths up to 1e8, and its tolerances are multiples of eps(T).
Both assume double precision: in Float32 every stage past the first makes
no progress. A working type narrower than Float64 now runs the whole
solve in Float64, on the matrix `convert`ed in place of its wrapper, and
returns the cover in the element type the input calls for.

Assisted-by: Claude Fable 5 <noreply@anthropic.com>
Assisted-by: Claude Opus 5 <noreply@anthropic.com>
@codecov

codecov Bot commented Aug 23, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.87%. Comparing base (f9c7a30) to head (97c0949).

Additional details and impacted files
@@            Coverage Diff             @@
##             main      #46      +/-   ##
==========================================
- Coverage   98.41%   97.87%   -0.54%     
==========================================
  Files          13       13              
  Lines        2958     2964       +6     
==========================================
- Hits         2911     2901      -10     
- Misses         47       63      +16     

☔ 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.

@timholy
timholy merged commit eb4d82c into main Aug 23, 2026
4 of 5 checks passed
@timholy
timholy deleted the float32-promotion branch August 23, 2026 09:35
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.

1 participant