Fix sign-assignment bug in usolve's assign_sign_left + regression tests - #362

Merged

ederc merged 6 commits into

algebraic-solving:masterfrom

mohabsafey:bug-univariate

Sep 18, 2026

Commits on Sep 17, 2026

Fixes Issue #358 (still some debug messages are
mohabsafey
committed
161f2fd

Commits on Sep 18, 2026

bug fix in assign_left (which led to several failures of different kinds). Extra tests are going to be added
mohabsafey
committed
20f53a8
adds test for Issue #310 (bivariate real root sign)

mohabsafey
and
claude
committed
5e7182a
adds test for the assign_left bug fix (20f53a8)

mohabsafey
and
claude
committed
fc82145
adds test for real root sign determination near zero

mohabsafey
and
claude
committed
d9375d1
removes useless and dummy inclusion of stdio.h
mohabsafey
committed
8bb737a