Skip to main content
5 events
when toggle format what by license comment
May 30 at 9:43 comment added David Loeffler It might interest the OP that the computer algebra systems "Sage" and "Magma" have practical, workable implementations of rigorous algebraic-number computation (including square roots!) using exactly this method. (Minor detail: I think the implementations use rectangular boxes, not circles, to isolate the roots, since this makes the computations easier).
May 30 at 1:34 comment added Gerry Myerson Posted to m.se (and deleted by author), math.stackexchange.com/questions/4924142/…
May 30 at 0:16 review Close votes
Jun 3 at 3:02
May 29 at 23:48 comment added Qiaochu Yuan The minimal polynomial of $\sqrt{\alpha}$ is one of the factors of $f_{\alpha}(z^2)$. The rest shouldn't be so bad from there.
May 29 at 23:39 history asked user918212 CC BY-SA 4.0