Pivot-solvability inline-linear row elimination with size-budgeted composition (#95)#105

Open

baggepinnen wants to merge 13 commits into

mainfrom

fbc/pivot-criterion-elimination

Commits on Jun 11, 2026

fix: structural cheap_iszero hook in CLIL dropzeros! (OOM on symbolic values)

baggepinnen
and
claude
committed
fix: ensure inline-linear-SCC `b` is free of SCC variables (#98)

baggepinnen
and
claude
committed
fix self-check: fold constant subexpressions when numerically evaluating

baggepinnen
and
claude
committed
feat: jointly solve coupled rank-deficible inline-linear SCC families (#98)

baggepinnen
and
claude
committed
fix: follow the block dependency DAG when grouping inline-linear families

baggepinnen
and
claude
committed
feat: peel-on-failure for jointly-solved families; robust self-check probe

baggepinnen
and
claude
committed
rework family grouping: set-dependent linearity, greedy convex growth, orderable subset

baggepinnen
and
claude
committed
Select dummy derivatives on merged Mattsson-Soderlind blocks, not matching-SCCs

baggepinnen
and
claude
committed
test: dummy-derivative block merging and Jacobian column permutation

baggepinnen
and
claude
committed

Commits on Jun 12, 2026

Commits on Jun 13, 2026

feat: pivot-solvability row elimination with size-budgeted symbolic composition (#95)

baggepinnen
and
claude
committed