Add incremental sparse RREF C-API (libsparse_rref_inc)#1

Open

thibautbar wants to merge 9 commits into

incremental-api

Commits on May 4, 2026

Add scaffolding for incremental sparse RREF C-API (M1)

thibautbar
and
claude
committed
Implement insert with forward elimination + eager backsub (M2)

thibautbar
and
claude
committed
Implement is_solved with expression buffers (M3)

thibautbar
and
claude
committed
is_solved: 3-way return (NOT_PIVOT / HAS_FREE / SOLVED)

thibautbar
and
claude
committed
Add sprref_inc_add_pivot_keys for delta upserts

thibautbar
and
claude
committed
build_incremental.sh: auto-detect FLINT_PREFIX on Linux distros

thibautbar
and
claude
committed
Two-phase insert API: caller picks the pivot

thibautbar
and
claude
committed

Commits on May 11, 2026

Add sprref_inc_variable_freqs batch query
thibautbar
committed

Commits on May 18, 2026

Add sprref_inc_col_rows reverse index accessor
thibautbar
committed