Recognise repeated and joined contractions when sum factorising - #282

Open

pbrubeck wants to merge 10 commits into

mainfrom

pbrubeck/single-pass-sharing

Commits on Aug 26, 2026

Keep factorised contractions atomic in dual evaluation

pbrubeck
and
claude
committed
8c64e35
Sum factorise dual evaluation in a single pass
pbrubeck
committed
26a4ada
Keep a repeated contraction whole when flattening a product

pbrubeck
and
claude
committed
5417353
Plan a contraction as a product tree rather than an index ordering

pbrubeck
and
claude
committed
26fa66d
Order the reductions of a plan reproducibly

pbrubeck
and
claude
committed
ffbf167
Cost a plan by operations alone, and restore the index limit

pbrubeck
and
claude
committed
77b8243
Test the moved bound, the repeated contraction, and the planned tree

pbrubeck
and
claude
committed
88f5efb
remove is_contraction
pbrubeck
committed
33c894f
Drop the stop_at argument of contraction

pbrubeck
and
claude
committed
4bd5dc5
Inline the factor bound and match the module docstring style

pbrubeck
and
claude
committed
e218260