Towards faster real algebraic numbers
Renaud Rioboo · 2002
This paper presents a new encoding scheme for real algebraic number manipulations which enhances current Axiom's Real Closure. Algebraic manipulations are performed using different instantiations of sub-resultant like algorithms instead of Euclidean algorithms. This allows us to work in the ring of real algebraic integers instead of the field of real algebraic numbers avoiding many denominators.