Add DeferredLinearExpression for lazy merge of disjoint-dimension expressions#13

Open

FBumann wants to merge 13 commits into

feature/defered-merge

Commits on Feb 1, 2026

Implement DeferredLinearExpression
FBumann
committed
Implement DeferredLinearExpression
FBumann
committed
Add benchmakr script
FBumann
committed
Optimize DeferredLinearExpression sum path for disjoint dims
FBumann
committed
Issue 1 — .flat/.to_polars() wrong results for overlapping dims: Removed the fast-path concat shortcuts entirely. Both now delegate to .materialize() which ensures correct
FBumann
committed
Update benchmark_deferred_merge.py
FBumann
committed
Add lp file write
FBumann
committed
Where deferred fully avoids materialization (no OOM possible):
FBumann
committed
Per-part dispatch for dimension operations — when dims are disjoint, these operations apply only to the parts that contain the target dimensions, leaving other parts
FBumann
committed
bench: update benchmark_deferred_merge.py
FBumann
committed
bench: update benchmark_deferred_merge.py
FBumann
committed
Add benchmark findings
FBumann
committed
fix: removed the _has_disjoint_dims() guard from .flat and .to_polars() so they always concat per-part, and updated the test to match the new
FBumann
committed