build based on eb1d59d

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-09-19T09:12:07","documenter_version":"1.7.0"}}
+{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-09-19T09:21:45","documenter_version":"1.7.0"}}

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/4d42ee1ef3d3d9f48226d19b83a8bcc89b7d1b21/src/caller.jl#L406-L428">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><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></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/4d42ee1ef3d3d9f48226d19b83a8bcc89b7d1b21/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><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></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/4d42ee1ef3d3d9f48226d19b83a8bcc89b7d1b21/src/MessyHacks.jl#L26-L33">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/eb1d59da6541fd0d3ff7a38d056d27cd451061aa/src/caller.jl#L406-L428">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><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></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/eb1d59da6541fd0d3ff7a38d056d27cd451061aa/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><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></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/eb1d59da6541fd0d3ff7a38d056d27cd451061aa/src/MessyHacks.jl#L26-L33">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="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.7.0 on <span class="colophon-date" title="Thursday 19 September 2024 09:12">Thursday 19 September 2024</span>. Using Julia version 1.10.5.</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="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.7.0 on <span class="colophon-date" title="Thursday 19 September 2024 09:21">Thursday 19 September 2024</span>. Using Julia version 1.10.5.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>