build based on e5c2dd6

dev/caller/index.html

@@ -28,8 +28,8 @@
 
 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/0d979e43c27ea2c316a98a0cccf92d032808fc5e/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-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/0d979e43c27ea2c316a98a0cccf92d032808fc5e/src/MessyHacks.jl#L9-L16">source</a></section></article><article class="docstring"><header><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/0d979e43c27ea2c316a98a0cccf92d032808fc5e/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());
+ 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/e5c2dd6e29806b305ca619e23753315e365be50f/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-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/e5c2dd6e29806b305ca619e23753315e365be50f/src/MessyHacks.jl#L9-L16">source</a></section></article><article class="docstring"><header><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/e5c2dd6e29806b305ca619e23753315e365be50f/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]);
 
@@ -68,9 +68,9 @@
  z^6 + x^7 + y^7
 
 julia&gt; R, (x, y) = polynomial_ring(QQ, [&quot;x&quot;, &quot;y&quot;])
-(Singular Polynomial Ring (QQ),(x,y),(dp(2),C), spoly{n_Q}[x, y])
+(Singular polynomial ring (QQ),(x,y),(dp(2),C), spoly{n_Q}[x, y])
 
 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></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 0.27.25 on <span class="colophon-date" title="Monday 2 October 2023 13:51">Monday 2 October 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></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 0.27.25 on <span class="colophon-date" title="Sunday 8 October 2023 22:47">Sunday 8 October 2023</span>. Using Julia version 1.9.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>