Factor linear/Lotka-Voltera ODE analyses through `PolynomialSystem`#1007

Merged

epatters merged 11 commits intoToposInstitute:mainfrom

georgefst:polynomial-lv

Mar 30, 2026

Commits on Mar 30, 2026

Derive some useful instances

georgefst
authored and
epatters
committed
Remove redundant constraint

georgefst
authored and
epatters
committed
Add more useful instances

georgefst
authored and
epatters
committed
Convert Lotka-Voltera ODEs to polynomials

georgefst
authored and
epatters
committed
Convert linear ODEs to polynomials

Patrick Aldis
authored and
epatters
committed
Remove Lotka-Voltera type

georgefst
authored and
epatters
committed
Remove Linear ODE type

georgefst
authored and
epatters
committed
Fix Clippy warning

georgefst
authored and
epatters
committed
Refactor linear ODE systems to use symbolic coefficients

georgefst
authored and
epatters
committed
Refactor Lotva-Volterra ODE systems to use symbolic coefficients

georgefst
authored and
epatters
committed
CLEANUP: Test linear/LV ODE analyses without simulating ODE.
epatters
committed