build based on 3b30330

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.2","generation_timestamp":"2024-04-16T21:46:00","documenter_version":"1.4.0"}}
+{"documenter":{"julia_version":"1.10.2","generation_timestamp":"2024-04-19T13:29:36","documenter_version":"1.4.0"}}

dev/constructors/index.html

@@ -9,4 +9,4 @@
 x^3 + 3*x + 1
 
 julia> g = R(12)
-12</code></pre><p>In this example, <span>$R$</span> is the parent object and we use it to convert the <code>Int</code> value <span>$12$</span> to an element of the polynomial ring <span>$\mathbb{Z}[x]$</span>.</p><h2 id="List-of-parent-object-constructors"><a class="docs-heading-anchor" href="#List-of-parent-object-constructors">List of parent object constructors</a><a id="List-of-parent-object-constructors-1"></a><a class="docs-heading-anchor-permalink" href="#List-of-parent-object-constructors" title="Permalink"></a></h2><p>For convenience, we provide a list of all the parent object constructors in Nemo and explain what domains they represent.</p><table><tr><th style="text-align: right">Mathematics</th><th style="text-align: right">Nemo constructor</th></tr><tr><td style="text-align: right"><span>$R = \mathbb{Z}$</span></td><td style="text-align: right"><code>R = ZZ</code></td></tr><tr><td style="text-align: right"><span>$R = \mathbb{Q}$</span></td><td style="text-align: right"><code>R = QQ</code></td></tr><tr><td style="text-align: right"><span>$R = \mathbb{F}_{p^n}$</span></td><td style="text-align: right"><code>R, a = finite_field(p, n, &quot;a&quot;)</code></td></tr><tr><td style="text-align: right"><span>$R = \mathbb{Z}/n\mathbb{Z}$</span></td><td style="text-align: right"><code>R, = residue_ring(ZZ, n)</code></td></tr><tr><td style="text-align: right"><span>$S = R[x]$</span></td><td style="text-align: right"><code>S, x = polynomial_ring(R, &quot;x&quot;)</code></td></tr><tr><td style="text-align: right"><span>$S = R[x, y]$</span></td><td style="text-align: right"><code>S, (x, y) = polynomial_ring(R, [&quot;x&quot;, &quot;y&quot;])</code></td></tr><tr><td style="text-align: right"><span>$S = R[[x]]$</span> (to precision <span>$n$</span>)</td><td style="text-align: right"><code>S, x = power_series_ring(R, n, &quot;x&quot;)</code></td></tr><tr><td style="text-align: right"><span>$S = R((x))$</span> (to precision <span>$n$</span>)</td><td style="text-align: right"><code>S, x = laurent_series_ring(R, n, &quot;x&quot;)</code></td></tr><tr><td style="text-align: right"><span>$S = \mathrm{Frac}_R$</span></td><td style="text-align: right"><code>S = fraction_field(R)</code></td></tr><tr><td style="text-align: right"><span>$S = R/(f)$</span></td><td style="text-align: right"><code>S, = residue_ring(R, f)</code></td></tr><tr><td style="text-align: right"><span>$S = \mathrm{Mat}_{m\times n}(R)$</span></td><td style="text-align: right"><code>S = matrix_space(R, m, n)</code></td></tr><tr><td style="text-align: right"><span>$S = \mathbb{Q}[x]/(f)$</span></td><td style="text-align: right"><code>S, a = number_field(f, &quot;a&quot;)</code></td></tr><tr><td style="text-align: right"><span>$S = \mathbb{Q}_p$</span> (to precision <span>$N$</span>)</td><td style="text-align: right"><code>S = PadicField(p, n)</code></td></tr><tr><td style="text-align: right"><span>$S = \mathbb{R}$</span></td><td style="text-align: right"><code>S = RealField()</code></td></tr><tr><td style="text-align: right"><span>$S = \mathbb{C}$</span></td><td style="text-align: right"><code>S = ComplexField()</code></td></tr></table></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../types/">« Types in Nemo</a><a class="docs-footer-nextpage" href="../integer/">Integers »</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></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.4.0 on <span class="colophon-date" title="Tuesday 16 April 2024 21:46">Tuesday 16 April 2024</span>. Using Julia version 1.10.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+12</code></pre><p>In this example, <span>$R$</span> is the parent object and we use it to convert the <code>Int</code> value <span>$12$</span> to an element of the polynomial ring <span>$\mathbb{Z}[x]$</span>.</p><h2 id="List-of-parent-object-constructors"><a class="docs-heading-anchor" href="#List-of-parent-object-constructors">List of parent object constructors</a><a id="List-of-parent-object-constructors-1"></a><a class="docs-heading-anchor-permalink" href="#List-of-parent-object-constructors" title="Permalink"></a></h2><p>For convenience, we provide a list of all the parent object constructors in Nemo and explain what domains they represent.</p><table><tr><th style="text-align: right">Mathematics</th><th style="text-align: right">Nemo constructor</th></tr><tr><td style="text-align: right"><span>$R = \mathbb{Z}$</span></td><td style="text-align: right"><code>R = ZZ</code></td></tr><tr><td style="text-align: right"><span>$R = \mathbb{Q}$</span></td><td style="text-align: right"><code>R = QQ</code></td></tr><tr><td style="text-align: right"><span>$R = \mathbb{F}_{p^n}$</span></td><td style="text-align: right"><code>R, a = finite_field(p, n, &quot;a&quot;)</code></td></tr><tr><td style="text-align: right"><span>$R = \mathbb{Z}/n\mathbb{Z}$</span></td><td style="text-align: right"><code>R, = residue_ring(ZZ, n)</code></td></tr><tr><td style="text-align: right"><span>$S = R[x]$</span></td><td style="text-align: right"><code>S, x = polynomial_ring(R, &quot;x&quot;)</code></td></tr><tr><td style="text-align: right"><span>$S = R[x, y]$</span></td><td style="text-align: right"><code>S, (x, y) = polynomial_ring(R, [&quot;x&quot;, &quot;y&quot;])</code></td></tr><tr><td style="text-align: right"><span>$S = R[[x]]$</span> (to precision <span>$n$</span>)</td><td style="text-align: right"><code>S, x = power_series_ring(R, n, &quot;x&quot;)</code></td></tr><tr><td style="text-align: right"><span>$S = R((x))$</span> (to precision <span>$n$</span>)</td><td style="text-align: right"><code>S, x = laurent_series_ring(R, n, &quot;x&quot;)</code></td></tr><tr><td style="text-align: right"><span>$S = \mathrm{Frac}_R$</span></td><td style="text-align: right"><code>S = fraction_field(R)</code></td></tr><tr><td style="text-align: right"><span>$S = R/(f)$</span></td><td style="text-align: right"><code>S, = residue_ring(R, f)</code></td></tr><tr><td style="text-align: right"><span>$S = \mathrm{Mat}_{m\times n}(R)$</span></td><td style="text-align: right"><code>S = matrix_space(R, m, n)</code></td></tr><tr><td style="text-align: right"><span>$S = \mathbb{Q}[x]/(f)$</span></td><td style="text-align: right"><code>S, a = number_field(f, &quot;a&quot;)</code></td></tr><tr><td style="text-align: right"><span>$S = \mathbb{Q}_p$</span> (to precision <span>$N$</span>)</td><td style="text-align: right"><code>S = PadicField(p, n)</code></td></tr><tr><td style="text-align: right"><span>$S = \mathbb{R}$</span></td><td style="text-align: right"><code>S = RealField()</code></td></tr><tr><td style="text-align: right"><span>$S = \mathbb{C}$</span></td><td style="text-align: right"><code>S = ComplexField()</code></td></tr></table></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../types/">« Types in Nemo</a><a class="docs-footer-nextpage" href="../integer/">Integers »</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></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.4.0 on <span class="colophon-date" title="Friday 19 April 2024 13:29">Friday 19 April 2024</span>. Using Julia version 1.10.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>