On Tuesday, 15 April 2025 at 08:45:53 UTC-7 Nils Bruin wrote:
Note that AA was bolted onto QQbar at a later stage. Root finding over AA is currently probably implemented by root finding over QQbar and then seeing which roots lie in AA. In principle it's possible to not do it that way but I doubt that you'd get much gain from it. Actually the documentation of "roots" shows that AA and QQbar would be using different root separation algorithms: ``` If L is "AA" or "RIF", and K is "ZZ", "QQ", or "AA", then the root isolation algorithm "sage.rings.polynomial.real_roots.real_roots()" is used. If L is "QQbar" or "CIF", and K is "ZZ", "QQ", "AA", "QQbar", or the Gaussian rationals, then the root isolation algorithm "sage.rings.polynomial.complex_roots.complex_roots()" is used. ``` Given that the expensive part of computing in QQbar/AA is rarely the interval arithmetic, I'm not so sure it will make a big difference which one is used. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/7ec1763f-67d3-4331-89fc-8b4a2c189db0n%40googlegroups.com.
