Use sturm sequences to find t between 0 and 1#10

Draft

turnip314 wants to merge 21 commits intomainfrom

Commits on Jan 15, 2024

Add msolve solutions solver
Andrew Luo
committed
Add tests for timing
Andrew Luo
committed

Commits on Jan 16, 2024

Resolve issue with msolve format
Andrew Luo
committed

Commits on Jan 26, 2024

temp
Andrew Luo
committed

Commits on Feb 1, 2024

Use precision checks on reduced system
Andrew Luo
committed

Commits on Feb 7, 2024

Some code cleanup
Andrew Luo
committed
Fix incorrect bound
Andrew Luo
committed
Compute non minimal points with reduced system
Andrew Luo
committed

Commits on Feb 13, 2024

Use inequality filter for non-min points
Andrew Luo
committed
Use inequality filter for non-min points

Andrew Luo
authored and
Andrew Luo
committed

Commits on Feb 15, 2024

Merge branch 'msolve' of https://github.com/ACSVMath/sage_acsv into msolve

Andrew Luo
authored and
Andrew Luo
committed

Commits on Feb 20, 2024

Use Sturm's Theorem for finding t

Andrew Luo
authored and
Andrew Luo
committed
Fix doctests

Andrew Luo
authored and
Andrew Luo
committed

Commits on Mar 1, 2024

Small changes
Andrew Luo
committed
Fix variable ordering issue with msolve
Andrew Luo
committed
Fix variable ordering issue with msolve
Andrew Luo
committed
Merge branch 'msolve' into sturm
Andrew Luo
committed
reset testing file
Andrew Luo
committed

Commits on Mar 12, 2024

use sage's built in string eval

Andrew Luo
authored and
Andrew Luo
committed
Merge branch 'msolve' of https://github.com/ACSVMath/sage_acsv into msolve

Andrew Luo
authored and
Andrew Luo
committed
Merge branch 'msolve' into sturm

Andrew Luo
authored and
Andrew Luo
committed