build based on 9d7b6a4

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-11-04T23:34:01","documenter_version":"1.1.2"}}
+{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-11-05T15:57:01","documenter_version":"1.1.2"}}

dev/caller/index.html

@@ -29,7 +29,7 @@
 julia> Singular.lookup_library_symbol("Top", "r")
 2-element Vector{Any}:
  Singular polynomial ring (QQ),(x,y,z),(dp(3),C)
- Dict{Symbol, spoly{n_Q}}(:f =&gt; x^2 + 2*x*y + y^2)</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/oscar-system/Singular.jl/blob/37a9a988da6714284740505ab7649fe99f86052e/src/caller.jl#L400-L422">source</a></section></article><h2 id="Global-Kernel-Variables"><a class="docs-heading-anchor" href="#Global-Kernel-Variables">Global Kernel Variables</a><a id="Global-Kernel-Variables-1"></a><a class="docs-heading-anchor-permalink" href="#Global-Kernel-Variables" title="Permalink"></a></h2><p>The global variables <code>degBound</code> and <code>multBound</code> can be used in a local fashion. As with any global variable, their usage should be accompanied with caution.</p><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="Singular.with_degBound-Tuple{Any, Integer}" href="#Singular.with_degBound-Tuple{Any, Integer}"><code>Singular.with_degBound</code></a> — <span class="docstring-category">Method</span></header><section><div><pre><code class="language-julia hljs">with_degBound(f, degb::Integer)</code></pre><p>Evaluate and return <code>f()</code> with the Singular global setting <code>degBound = degb</code>. The value of <code>degBound</code> is automatically restored upon return; the effect is only a local one on <code>f()</code>. The value <code>degBound = 0</code> corresponds to no degree bound in Singular and this is the starting value.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/oscar-system/Singular.jl/blob/37a9a988da6714284740505ab7649fe99f86052e/src/MessyHacks.jl#L9-L16">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="Singular.with_multBound-Tuple{Any, Integer}" href="#Singular.with_multBound-Tuple{Any, Integer}"><code>Singular.with_multBound</code></a> — <span class="docstring-category">Method</span></header><section><div><pre><code class="language-julia hljs">with_multBound(f, mu::Integer)</code></pre><p>Evaluate and return <code>f()</code> with the Singular global setting <code>multBound = mu</code>. The value of <code>multBound</code> is automatically restored upon return; the effect is only a local one on <code>f()</code>. The value <code>multBound = 0</code> corresponds to no multiplicity bound in Singular and this is the starting value.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/oscar-system/Singular.jl/blob/37a9a988da6714284740505ab7649fe99f86052e/src/MessyHacks.jl#L28-L35">source</a></section></article><p>The following <a href="https://www.singular.uni-kl.de/Manual/4-3-0/sing_318.htm#SEC358">options</a> are available. The usage of, say, the option <code>infRefTail</code> would be as <code>with_infRefTail(f, flag::Bool)</code> where the same do-block syntax can be used as with the degree bounds.</p><pre><code class="nohighlight hljs">fastHC, infRedTail, lazy, length, notBuckets, prot, qringNF, redTail, redThrough</code></pre><p><strong>Examples</strong></p><pre><code class="language-julia-repl hljs">julia&gt; r, (x,y,z) = polynomial_ring(QQ, [&quot;x&quot;, &quot;y&quot;, &quot;z&quot;], ordering=ordering_ds());
+ Dict{Symbol, spoly{n_Q}}(:f =&gt; x^2 + 2*x*y + y^2)</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/oscar-system/Singular.jl/blob/9d7b6a4ad136bb6b3aa7a480b90333228bbd5940/src/caller.jl#L400-L422">source</a></section></article><h2 id="Global-Kernel-Variables"><a class="docs-heading-anchor" href="#Global-Kernel-Variables">Global Kernel Variables</a><a id="Global-Kernel-Variables-1"></a><a class="docs-heading-anchor-permalink" href="#Global-Kernel-Variables" title="Permalink"></a></h2><p>The global variables <code>degBound</code> and <code>multBound</code> can be used in a local fashion. As with any global variable, their usage should be accompanied with caution.</p><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="Singular.with_degBound-Tuple{Any, Integer}" href="#Singular.with_degBound-Tuple{Any, Integer}"><code>Singular.with_degBound</code></a> — <span class="docstring-category">Method</span></header><section><div><pre><code class="language-julia hljs">with_degBound(f, degb::Integer)</code></pre><p>Evaluate and return <code>f()</code> with the Singular global setting <code>degBound = degb</code>. The value of <code>degBound</code> is automatically restored upon return; the effect is only a local one on <code>f()</code>. The value <code>degBound = 0</code> corresponds to no degree bound in Singular and this is the starting value.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/oscar-system/Singular.jl/blob/9d7b6a4ad136bb6b3aa7a480b90333228bbd5940/src/MessyHacks.jl#L9-L16">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="Singular.with_multBound-Tuple{Any, Integer}" href="#Singular.with_multBound-Tuple{Any, Integer}"><code>Singular.with_multBound</code></a> — <span class="docstring-category">Method</span></header><section><div><pre><code class="language-julia hljs">with_multBound(f, mu::Integer)</code></pre><p>Evaluate and return <code>f()</code> with the Singular global setting <code>multBound = mu</code>. The value of <code>multBound</code> is automatically restored upon return; the effect is only a local one on <code>f()</code>. The value <code>multBound = 0</code> corresponds to no multiplicity bound in Singular and this is the starting value.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/oscar-system/Singular.jl/blob/9d7b6a4ad136bb6b3aa7a480b90333228bbd5940/src/MessyHacks.jl#L28-L35">source</a></section></article><p>The following <a href="https://www.singular.uni-kl.de/Manual/4-3-0/sing_318.htm#SEC358">options</a> are available. The usage of, say, the option <code>infRefTail</code> would be as <code>with_infRefTail(f, flag::Bool)</code> where the same do-block syntax can be used as with the degree bounds.</p><pre><code class="nohighlight hljs">fastHC, infRedTail, lazy, length, notBuckets, prot, qringNF, redTail, redThrough</code></pre><p><strong>Examples</strong></p><pre><code class="language-julia-repl hljs">julia&gt; r, (x,y,z) = polynomial_ring(QQ, [&quot;x&quot;, &quot;y&quot;, &quot;z&quot;], ordering=ordering_ds());
 
 julia&gt; i = Ideal(r, [x^7+y^7+z^6,x^6+y^8+z^7,x^7+y^5+z^8,x^2*y^3+y^2*z^3+x^3*z^2,x^3*y^2+y^3*z^2+x^2*z^3]);
 
@@ -73,4 +73,4 @@
 julia&gt; with_prot(true) do; return std(Ideal(R, x^5 - y*x + 1, y^6*x + x^2 + y^3)); end
 [4294967295:2]5s7s11s1214-s15
 product criterion:1 chain criterion:1
-Singular ideal over Singular polynomial ring (QQ),(x,y),(dp(2),C) with generators (x^5 - x*y + 1, x*y^6 + y^3 + x^2, x^4*y^3 - y^6 - y^4 - x, y^9 + y^7 + x^3*y^3 + x*y^3 + x*y - 1)</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../matrix/">« Matrices</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="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.1.2 on <span class="colophon-date" title="Saturday 4 November 2023 23:34">Saturday 4 November 2023</span>. Using Julia version 1.9.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+Singular ideal over Singular polynomial ring (QQ),(x,y),(dp(2),C) with generators (x^5 - x*y + 1, x*y^6 + y^3 + x^2, x^4*y^3 - y^6 - y^4 - x, y^9 + y^7 + x^3*y^3 + x*y^3 + x*y - 1)</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../matrix/">« Matrices</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="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.1.2 on <span class="colophon-date" title="Sunday 5 November 2023 15:57">Sunday 5 November 2023</span>. Using Julia version 1.9.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

dev/index.html

@@ -17,4 +17,4 @@
 R^1 <- R^2 <- R^1
 
 julia> F[1]
-Singular ideal over Singular polynomial ring (QQ),(x,y),(dp(2),C) with generators (x - y, y^2 + 1)</code></pre></article><nav class="docs-footer"><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="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.1.2 on <span class="colophon-date" title="Saturday 4 November 2023 23:34">Saturday 4 November 2023</span>. Using Julia version 1.9.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+Singular ideal over Singular polynomial ring (QQ),(x,y),(dp(2),C) with generators (x - y, y^2 + 1)</code></pre></article><nav class="docs-footer"><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="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.1.2 on <span class="colophon-date" title="Sunday 5 November 2023 15:57">Sunday 5 November 2023</span>. Using Julia version 1.9.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>