Skip to content

fix: fix simplification of underdetermined systems#80

Merged
AayushSabharwal merged 1 commit into
mainfrom
as/fix-underdetermined
May 14, 2026
Merged

fix: fix simplification of underdetermined systems#80
AayushSabharwal merged 1 commit into
mainfrom
as/fix-underdetermined

Conversation

@AayushSabharwal
Copy link
Copy Markdown
Member

This fixes a bug where an unknown would appear twice in unknowns in update_simplified_system!. Consequently, tearing_hacks would fail to insert the unscalarized observed equation x ~ [x[1], x[2], x[3]] because it would count x as occurring length(x) + 1 times in the unknowns/observed (arr_obs_occurrences[x] == 4).

@AayushSabharwal AayushSabharwal force-pushed the as/fix-underdetermined branch from 0062abc to 4f10142 Compare May 14, 2026 10:46
@AayushSabharwal AayushSabharwal merged commit d75c856 into main May 14, 2026
23 checks passed
@AayushSabharwal AayushSabharwal deleted the as/fix-underdetermined branch May 14, 2026 12:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant