-guess(R::QQBarField, x::RealFieldElem, maxdeg::Int, maxbits::Int=0)</code></pre><p>Try to reconstruct an algebraic number from a given numerical enclosure <code>x</code>. The algorithm looks for candidates up to degree <code>maxdeg</code> and with coefficients up to size <code>maxbits</code> (which defaults to the precision of <code>x</code> if not given). Throws if no suitable algebraic number can be found.</p><p>Guessing typically requires high precision to succeed, and it does not make much sense to call this function with input precision smaller than <span>$O(maxdeg \cdot maxbits)$</span>. If this function succeeds, then the output is guaranteed to be contained in the enclosure <code>x</code>, but failure does not prove that such an algebraic number with the specified parameters does not exist.</p><p>This function does a single iteration with the target parameters. For best performance, one should invoke this function repeatedly with successively larger parameters when the size of the intended solution is unknown or may be much smaller than a worst-case bound.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/Nemocas/Nemo.jl/blob/fcfa3d0b96b7403399f811816dc0b57d9af9accb/src/calcium/qqbar.jl#L1140-L1162">source</a></section></article></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../rational/">« Rationals</a><a class="docs-footer-nextpage" href="../exact/">Exact real and complex numbers »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.14.1 on <span class="colophon-date" title="Thursday 14 August 2025 03:40">Thursday 14 August 2025</span>. Using Julia version 1.10.10.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
0 commit comments