Skip to content

Add real root classification - #150

Merged
mohabsafey merged 2 commits into
algebraic-solving:mainfrom
wegank:rrc-init
Aug 18, 2026
Merged

Add real root classification#150
mohabsafey merged 2 commits into
algebraic-solving:mainfrom
wegank:rrc-init

Conversation

@wegank

@wegank wegank commented Aug 5, 2026

Copy link
Copy Markdown
Contributor

This PR implements a real root classification algorithm based on Hermite's quadratic forms. The algorithm is based on [Gaillard-Safey El Din 2024, Chapter 5] and my remark during JNCF 2026.

@wegank
wegank force-pushed the rrc-init branch 5 times, most recently from 4c546f7 to 8afd480 Compare August 9, 2026 11:20
@wegank
wegank marked this pull request as ready for review August 11, 2026 20:41
@mohabsafey

Copy link
Copy Markdown
Collaborator

Many thanks for this. Shouldn't we export some key functions such as real_root_classification, multiplication_matrix, hermite_matrix ?

@wegank

wegank commented Aug 17, 2026

Copy link
Copy Markdown
Contributor Author

That might be a good idea. GitHub is currently down, so I'll work on that later.

@mohabsafey
mohabsafey merged commit 0a80fe0 into algebraic-solving:main Aug 18, 2026
8 checks passed
@wegank
wegank deleted the rrc-init branch August 18, 2026 13:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants