Add balanced polynomial product trees - #9608

Open

kim-em wants to merge 13 commits into

mainfrom

poly-fast-trees

Commits on Aug 25, 2026

feat(poly-fast): add lawful multiplication plans
Kim Morrison
committed
43acf95
feat(poly-fast): add generic fast arithmetic layers
Kim Morrison
committed
cacf673
bench(poly-fast): register multiplication crossovers
Kim Morrison
committed
4213716
ci: exempt poly-fast registrations from factor sweep
Kim Morrison
committed
134a2eb
bench(poly-fast): derive crossover cost models
Kim Morrison
committed
9506846
feat(poly-fast): add clipped Newton reciprocals
Kim Morrison
committed
c52b41e
feat(poly-fast): prune Karatsuba intervals recursively
Kim Morrison
committed
f4d6d18
feat(poly-fast): add cached Newton division
Kim Morrison
committed
7568a07
ci: attest poly-fast target registration
Kim Morrison
committed
f9e4225
feat(poly-fast): add balanced product tree with O(M(n) log n) benchmark
Kim Morrison
committed
b4618ab

Commits on Aug 26, 2026

Merge remote-tracking branch 'origin/main' into HEAD
kim-em
committed
bb4ed83
Re-anchor proof-only exemptions after merging main
kim-em
committed
2aaa50a
Merge remote-tracking branch 'origin/main' into HEAD
kim-em
committed
016c8cf