feat: implement normalize function for Constraint<usize>#384

Open

avorylli wants to merge 1 commit intoiden3:masterfrom

avorylli commented Sep 8, 2025 •

edited

Loading

Implements the TODO normalize function for Constraint<usize>.

Returns normalized copy of constraint using existing fix_raw_constraint logic
Removes zero coefficients and simplifies constant expressions
Includes tests for empty, linear, and quadratic constraints


          Update algebra.rs

f40a4aa

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet