New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Adaptative precision in real root extraction #188

Merged

ederc merged 3 commits into algebraic-solving:master from mohabsafey:prec-realroots

Dec 11, 2024

Contributor

mohabsafey commented Dec 4, 2024

This PR aims at solving the following issue : during real root extraction, msolve was identifying intervals for solution coordinates not containing 0 but because of the fixed precision, this information was lost.
This PR makes the precision adaptative during real root extraction in order to keep such sign information
A consequence is that it makes real root extraction more precise in general than the previous one
A test file is added

mohabsafey added 3 commits

December 4, 2024 14:02


          sets the precision adaptively when extracting real roots

12a24d4


          recomputation of test files with adaptative precision in real root ex…

8d9f52f

…traction


          adds test file for adaptative precision in real root extraction

adda23b

ederc merged commit ca6d9b9 into algebraic-solving:master

2 checks passed

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

Labels

None yet