On Tuesday 3 September 2024 at 23:53:33 UTC-7 john wrote: Indeed, Magma's AlgebraicallyClosedField is not embedded into CC; it also has no version of AA. And Nils meant what he said about large *finite* fields being used to keep track. I find QQbar easier to use -- but when Magma's AlgebraicallyClosedField was first developed it was a really original idea and state of the art, there is at least one paper describing how it works (Nils, I cannot remember the author -- is it Allan Steele?).
Yes, Allan Steel. ANTS 2002: https://link.springer.com/chapter/10.1007/3-540-45455-1_38 Super elegant idea. And no precision issues to take care of ... until your randomly chosen 30 digit prime ends up dividing a denominator or a discriminant of one of the algebraic numbers you happen to reference. -- 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/1c5985d6-4771-46cf-a89a-8d51b59bc9cdn%40googlegroups.com.