On Wednesday, September 4, 2024 at 1:41:30 PM UTC+9 Nils Bruin wrote:
.. Indeed, Magma's algebraic closure of QQ does not use an embedding into CC but instead tracks conjugate labels using a large finite field. You mean a large number field? >From QQbar doc: As with many other implementations of the algebraic numbers, we try hard to avoid computing a number field and working in the number field; instead, we use floating-point interval arithmetic whenever possible (basically whenever we need to prove non-equalities), and resort to symbolic computation only as needed (basically to prove equalities). Thus QQbar assumes a complex embedding from the ground, perhaps unlike Magma. -- 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 on the web visit https://groups.google.com/d/msgid/sage-devel/afb486c5-7efb-4b6c-94f9-dc230a1108fen%40googlegroups.com.