Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/numericalsgps/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 30.7.2024 mit Größe 47 kB image not shown  

SSL chap6.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/numericalsgps/doc/chap6.html


<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (NumericalSgps) - Chapter 6: 
                Irreducible numerical semigroups
            </title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap6"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</a>  <a href="chap11.html">11</a>  <a href="chap12.html">12</a>  <a href="chap13.html">13</a>  <a href="chap14.html">14</a>  <a href="chapA.html">A</a>  <a href="chapB.html">B</a>  <a href="chapC.html">C</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap5.html">[Previous Chapter]</a>    <a href="chap7.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap6_mj.html">[MathJax on]</a></p>
<p><a id="X83C597EC7FAA1C0F" name="X83C597EC7FAA1C0F"></a></p>
<div class="ChapSects"><a href="chap6.html#X83C597EC7FAA1C0F">6 <span class="Heading">
                Irreducible numerical semigroups
            </span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X83C597EC7FAA1C0F">6.1 <span class="Heading">
                    Irreducible numerical semigroups
                </span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X83E8CC8F862D1FC0">6.1-1 IsIrreducible</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7C381E277917B0ED">6.1-2 IsSymmetric</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7EA0D85085C4B607">6.1-3 IsPseudoSymmetric</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7C8AB03F7E0B71F0">6.1-4 AnIrreducibleNumericalSemigroupWithFrobeniusNumber</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X78345A267ADEFBAB">6.1-5 IrreducibleNumericalSemigroupsWithFrobeniusNumber</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X87C2738C7AA109DC">6.1-6 IrreducibleNumericalSemigroupsWithFrobeniusNumberAndMultiplicity</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8753F78D7FD732E2">6.1-7 DecomposeIntoIrreducibles</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X7D3FD9C8786B5D72">6.2 <span class="Heading">
                    Complete intersection numerical semigroups
                </span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X848FCB49851D19B8">6.2-1 AsGluingOfNumericalSemigroups</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7A0DF10F85F32194">6.2-2 IsCompleteIntersection</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X86350BCE7D047599">6.2-3 CompleteIntersectionNumericalSemigroupsWithFrobeniusNumber</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7CD2A77778432E7B">6.2-4 IsFree</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X86B4BA6A79F734A8">6.2-5 FreeNumericalSemigroupsWithFrobeniusNumber</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X830D0E0F7B8C6284">6.2-6 IsTelescopic</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X84475353846384E8">6.2-7 TelescopicNumericalSemigroupsWithFrobeniusNumber</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7A1C2C737BC1C4CE">6.2-8 IsUniversallyFree</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X847CD0EF8452F771">6.2-9 IsNumericalSemigroupAssociatedIrreduciblePlanarCurveSingularity</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8784D11578C912F2">6.2-10 NumericalSemigroupsPlanarSingularityWithFrobeniusNumber</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X80CAA1FA7F6FF4FD">6.2-11 IsAperySetGammaRectangular</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7E6E262C7C421635">6.2-12 IsAperySetBetaRectangular</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X86F52FB67F76D2CB">6.2-13 IsAperySetAlphaRectangular</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X7998FF857F70C9A2">6.3 <span class="Heading">
                    Almost-symmetric numerical semigroups
                </span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7A81F31479DB5DF2">6.3-1 AlmostSymmetricNumericalSemigroupsFromIrreducible</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8788F6597DBC6D98">6.3-2 AlmostSymmetricNumericalSemigroupsFromIrreducibleAndGivenType</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X84C44C7A7D9270BB">6.3-3 IsAlmostSymmetric</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7B0DF2FE7D00A9E0">6.3-4 AlmostSymmetricNumericalSemigroupsWithFrobeniusNumber</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X85C4DA6E82E726D2">6.3-5 AlmostSymmetricNumericalSemigroupsWithFrobeniusNumberAndType</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X7FDC79A285EE016B">6.4 <span class="Heading">
                    Several approaches generalizing the concept of symmetry
                </span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8221EC44802E5158">6.4-1 IsGeneralizedGorenstein</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X866E48B47D66CFF2">6.4-2 IsNearlyGorenstein</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X78049FC380A0006E">6.4-3 NearlyGorensteinVectors</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X83F13D6482F021B2">6.4-4 IsGeneralizedAlmostSymmetric</a></span>
</div></div>
</div>

<h3>6 <span class="Heading">
                Irreducible numerical semigroups
            </span></h3>

<p>An irreducible numerical semigroup is a semigroup that cannot be expressed as the intersection of numerical semigroups properly containing it.</p>

<p>It is not difficult to prove that a semigroup is irreducible if and only if it is maximal (with respect to set inclusion) in the set of all numerical semigroups having its same Frobenius number (see <a href="chapBib.html#biBRB03">[RB03]</a>). Hence, according to <a href="chapBib.html#biBFGH87">[FGR87]</a> (respectively <a href="chapBib.html#biBBDF97">[BDF97]</a>), symmetric (respectively pseudo-symmetric) numerical semigroups are those irreducible numerical semigroups with odd (respectively even) Frobenius number.</p>

<p>In <a href="chapBib.html#biBRGGJ03">[RGGJ03]</a> it is shown that a nontrivial numerical semigroup is irreducible if and only if it has only one special gap. We use this characterization.</p>

<p>In old versions of the package, we first constructed an irreducible numerical semigroup with the given Frobenius number (as explained in <a href="chapBib.html#biBRGS04">[RG04]</a>), and then we constructed the rest from it. The present version uses a faster procedure presented in <a href="chapBib.html#biBBR13">[BR13]</a>.</p>

<p>Every numerical semigroup can be expressed as an intersection of irreducible numerical semigroups. If <span class="SimpleMath">S</span> can be expressed as <span class="SimpleMath">S=S_1∩ ⋯∩ S_n</span>, with <span class="SimpleMath">S_i</span> irreducible numerical semigroups, and no factor can be removed, then we say that this decomposition is minimal. Minimal decompositions can be computed by using Algorithm 26 in <a href="chapBib.html#biBRGGJ03">[RGGJ03]</a>.</p>

<p><a id="X83C597EC7FAA1C0F" name="X83C597EC7FAA1C0F"></a></p>

<h4>6.1 <span class="Heading">
                    Irreducible numerical semigroups
                </span></h4>

<p>In this section we provide membership tests to the two families that conform the set of irreducible numerical semigroups. We also give a procedure to compute the set of all irreducible numerical semigroups with fixed Frobenius number (or equivalently genus, since for irreducible numerical semigroups once the Frobenius number is fixed, so is the genus). Also we give a function to compute the decomposition of a numerical semigroup as an intersection of irreducible numerical semigroups.</p>

<p><a id="X83E8CC8F862D1FC0" name="X83E8CC8F862D1FC0"></a></p>

<h5>6.1-1 IsIrreducible</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsIrreducible</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsIrreducibleNumericalSemigroup</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is <code class="code">true</code> if <var class="Arg">s</var> is irreducible, <code class="code">false</code> otherwise.</p>

<p>This filter implies <code class="func">IsAlmostSymmetricNumericalSemigroup</code> (<a href="chap6.html#X84C44C7A7D9270BB"><span class="RefLink">6.3-3</span></a>) and <code class="func">IsAcuteNumericalSemigroup</code> (<a href="chap3.html#X83D4AFE882A79096"><span class="RefLink">3.1-30</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsIrreducible(NumericalSemigroup(4,6,9));</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">IsIrreducibleNumericalSemigroup(NumericalSemigroup(4,6,7,9));</span>
false
</pre></div>

<p><a id="X7C381E277917B0ED" name="X7C381E277917B0ED"></a></p>

<h5>6.1-2 IsSymmetric</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsSymmetric</code>( <var class="Arg">s</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsSymmetricNumericalSemigroup</code>( <var class="Arg">s</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is <code class="code">true</code> if <var class="Arg">s</var> is symmetric, <code class="code">false</code> otherwise.</p>

<p>This filter implies <code class="func">IsIrreducibleNumericalSemigroup</code> (<a href="chap6.html#X83E8CC8F862D1FC0"><span class="RefLink">6.1-1</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsSymmetric(NumericalSemigroup(10,23));</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">IsSymmetricNumericalSemigroup(NumericalSemigroup(10,11,23));</span>
false
</pre></div>

<p><a id="X7EA0D85085C4B607" name="X7EA0D85085C4B607"></a></p>

<h5>6.1-3 IsPseudoSymmetric</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsPseudoSymmetric</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsPseudoSymmetricNumericalSemigroup</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is <code class="code">true</code> if <var class="Arg">s</var> is pseudo-symmetric, <code class="code">false</code> otherwise.</p>

<p>This filter implies <code class="func">IsIrreducibleNumericalSemigroup</code> (<a href="chap6.html#X83E8CC8F862D1FC0"><span class="RefLink">6.1-1</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsPseudoSymmetric(NumericalSemigroup(6,7,8,9,11));</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">IsPseudoSymmetricNumericalSemigroup(NumericalSemigroup(4,6,9));</span>
false
</pre></div>

<p><a id="X7C8AB03F7E0B71F0" name="X7C8AB03F7E0B71F0"></a></p>

<h5>6.1-4 AnIrreducibleNumericalSemigroupWithFrobeniusNumber</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AnIrreducibleNumericalSemigroupWithFrobeniusNumber</code>( <var class="Arg">f</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">f</var> is an integer. When <span class="SimpleMath">f=0</span> or <span class="SimpleMath">f≤ -2</span>, the output is <code class="code">fail</code>. Otherwise, the output is an irreducible numerical semigroup with Frobenius number <var class="Arg">f</var>. From the way the procedure is implemented, the resulting semigroup has at most four generators (see <a href="chapBib.html#biBRGS04">[RG04]</a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s := AnIrreducibleNumericalSemigroupWithFrobeniusNumber(28);</span>
<Numerical semigroup with 3 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">MinimalGenerators(s);</span>
[ 3, 17, 31 ]
<span class="GAPprompt">gap></span> <span class="GAPinput">FrobeniusNumber(s);</span>
28
</pre></div>

<p><a id="X78345A267ADEFBAB" name="X78345A267ADEFBAB"></a></p>

<h5>6.1-5 IrreducibleNumericalSemigroupsWithFrobeniusNumber</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IrreducibleNumericalSemigroupsWithFrobeniusNumber</code>( <var class="Arg">f</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">f</var> is an integer. The output is the set of all irreducible numerical semigroups with Frobenius number <var class="Arg">f</var>. The algorithm is inspired in <a href="chapBib.html#biBBR13">[BR13]</a>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">Length(IrreducibleNumericalSemigroupsWithFrobeniusNumber(19));</span>
20
</pre></div>

<p><a id="X87C2738C7AA109DC" name="X87C2738C7AA109DC"></a></p>

<h5>6.1-6 IrreducibleNumericalSemigroupsWithFrobeniusNumberAndMultiplicity</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IrreducibleNumericalSemigroupsWithFrobeniusNumberAndMultiplicity</code>( <var class="Arg">f</var>, <var class="Arg">m</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">f</var> and <var class="Arg">m</var> are integers. The output is the set of all irreducible numerical semigroups with Frobenius number <var class="Arg">f</var> and multiplicity <var class="Arg">m</var>. The implementation appears in <a href="chapBib.html#biBBOR19">[BOR21]</a>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">Length(IrreducibleNumericalSemigroupsWithFrobeniusNumberAndMultiplicity(31,11));</span>
16
</pre></div>

<p><a id="X8753F78D7FD732E2" name="X8753F78D7FD732E2"></a></p>

<h5>6.1-7 DecomposeIntoIrreducibles</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DecomposeIntoIrreducibles</code>( <var class="Arg">s</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is a set of irreducible numerical semigroups containing it. These elements appear in a minimal decomposition of <var class="Arg">s</var> as intersection into irreducibles.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">DecomposeIntoIrreducibles(NumericalSemigroup(5,6,8));</span>
[ <Numerical semigroup with 3 generators>,
  <Numerical semigroup with 4 generators> ]
</pre></div>

<p><a id="X7D3FD9C8786B5D72" name="X7D3FD9C8786B5D72"></a></p>

<h4>6.2 <span class="Heading">
                    Complete intersection numerical semigroups
                </span></h4>

<p>The cardinality of a minimal presentation of a numerical semigroup is always greater than or equal to its embedding dimension minus one. Complete intersection numerical semigroups are numerical semigroups reaching this bound, and they are irreducible. It can be shown that every complete intersection (other that <span class="SimpleMath">N</span>) is a complete intersection if and only if it is the gluing of two complete intersections. When in this gluing, one of the copies is isomorphic to <span class="SimpleMath">N</span>, then we obtain a free semigroup in the sense of <a href="chapBib.html#biBBC77">[BC77]</a>. Two special kinds of free semigroups are telescopic semigroups (<a href="chapBib.html#biBKP95">[KP95]</a>) and those associated to an irreducible planar curve (<a href="chapBib.html#biBZ86">[Zar86]</a>). We use the algorithms presented in <a href="chapBib.html#biBAGS13">[AG13]</a> to find the set of all complete intersections (also free, telescopic and associated to irreducible planar curves) numerical semigroups with given Frobenius number.</p>

<p><a id="X848FCB49851D19B8" name="X848FCB49851D19B8"></a></p>

<h5>6.2-1 AsGluingOfNumericalSemigroups</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AsGluingOfNumericalSemigroups</code>( <var class="Arg">s</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. Returns all partitions <span class="SimpleMath">{A_1,A_2}</span> of the minimal generating set of <var class="Arg">s</var> such that <var class="Arg">s</var> is a gluing of <span class="SimpleMath">⟨ A_1⟩</span> and <span class="SimpleMath">⟨ A_2⟩</span> by <span class="SimpleMath">gcd(A_1)gcd(A_2)</span>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s := NumericalSemigroup( 10, 15, 16 );</span>
<Numerical semigroup with 3 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">AsGluingOfNumericalSemigroups(s);</span>
[ [ [ 10, 15 ], [ 16 ] ], [ [ 10, 16 ], [ 15 ] ] ]
<span class="GAPprompt">gap></span> <span class="GAPinput">s := NumericalSemigroup( 18, 24, 34, 46, 51, 61, 74, 8 );</span>
<Numerical semigroup with 8 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">AsGluingOfNumericalSemigroups(s);</span>
[  ]
</pre></div>

<p><a id="X7A0DF10F85F32194" name="X7A0DF10F85F32194"></a></p>

<h5>6.2-2 IsCompleteIntersection</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsCompleteIntersection</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsACompleteIntersectionNumericalSemigroup</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is true if the numerical semigroup is a complete intersection, that is, the cardinality of a (any) minimal presentation equals its embedding dimension minus one.</p>

<p>This filter implies <code class="func">IsSymmetricNumericalSemigroup</code> (<a href="chap6.html#X7C381E277917B0ED"><span class="RefLink">6.1-2</span></a>) and <code class="func">IsCyclotomicNumericalSemigroup</code> (<a href="chap10.html#X8366BB727C496D31"><span class="RefLink">10.1-8</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s := NumericalSemigroup( 10, 15, 16 );</span>
<Numerical semigroup with 3 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsCompleteIntersection(s);</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">s := NumericalSemigroup( 18, 24, 34, 46, 51, 61, 74, 8 );</span>
<Numerical semigroup with 8 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsACompleteIntersectionNumericalSemigroup(s);</span>
false
</pre></div>

<p><a id="X86350BCE7D047599" name="X86350BCE7D047599"></a></p>

<h5>6.2-3 CompleteIntersectionNumericalSemigroupsWithFrobeniusNumber</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ CompleteIntersectionNumericalSemigroupsWithFrobeniusNumber</code>( <var class="Arg">f</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">f</var> is an integer. The output is the set of all complete intersection numerical semigroups with Frobenius number <var class="Arg">f</var>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">Length(CompleteIntersectionNumericalSemigroupsWithFrobeniusNumber(57));</span>
34
</pre></div>

<p><a id="X7CD2A77778432E7B" name="X7CD2A77778432E7B"></a></p>

<h5>6.2-4 IsFree</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsFree</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsFreeNumericalSemigroup</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is true if the numerical semigroup is free in the sense of <a href="chapBib.html#biBBC77">[BC77]</a>: it is either <span class="SimpleMath">N</span> or the gluing of a copy of <span class="SimpleMath">N</span> with a free numerical semigroup.</p>

<p>This filter implies <code class="func">IsACompleteIntersectionNumericalSemigroup</code> (<a href="chap6.html#X7A0DF10F85F32194"><span class="RefLink">6.2-2</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsFree(NumericalSemigroup(10,15,16));</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">IsFreeNumericalSemigroup(NumericalSemigroup(3,5,7));</span>
false
</pre></div>

<p><a id="X86B4BA6A79F734A8" name="X86B4BA6A79F734A8"></a></p>

<h5>6.2-5 FreeNumericalSemigroupsWithFrobeniusNumber</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ FreeNumericalSemigroupsWithFrobeniusNumber</code>( <var class="Arg">f</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">f</var> is an integer. The output is the set of all free numerical semigroups with Frobenius number <var class="Arg">f</var>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">Length(FreeNumericalSemigroupsWithFrobeniusNumber(57));</span>
33
</pre></div>

<p><a id="X830D0E0F7B8C6284" name="X830D0E0F7B8C6284"></a></p>

<h5>6.2-6 IsTelescopic</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsTelescopic</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsTelescopicNumericalSemigroup</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is true if the numerical semigroup is telescopic in the sense of <a href="chapBib.html#biBKP95">[KP95]</a>: it is either <span class="SimpleMath">N</span> or the gluing of <span class="SimpleMath">⟨ n_e⟩</span> and <span class="SimpleMath">s'=⟨ n_1/d,..., n_e-1/d⟩, and s'</span> is again a telescopic numerical semigroup, where <span class="SimpleMath">n_1 < ⋯ < n_e</span> are the minimal generators of <var class="Arg">s</var>.</p>

<p>This filter implies <code class="func">IsAperySetBetaRectangular</code> (<a href="chap6.html#X7E6E262C7C421635"><span class="RefLink">6.2-12</span></a>) and <code class="func">IsFree</code> (<a href="chap6.html#X7CD2A77778432E7B"><span class="RefLink">6.2-4</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsTelescopic(NumericalSemigroup(4,11,14));</span>
false
<span class="GAPprompt">gap></span> <span class="GAPinput">IsTelescopicNumericalSemigroup(NumericalSemigroup(4,11,14));</span>
false
<span class="GAPprompt">gap></span> <span class="GAPinput">IsFree(NumericalSemigroup(4,11,14));</span>
true
</pre></div>

<p><a id="X84475353846384E8" name="X84475353846384E8"></a></p>

<h5>6.2-7 TelescopicNumericalSemigroupsWithFrobeniusNumber</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ TelescopicNumericalSemigroupsWithFrobeniusNumber</code>( <var class="Arg">f</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">f</var> is an integer. The output is the set of all telescopic numerical semigroups with Frobenius number <var class="Arg">f</var>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">Length(TelescopicNumericalSemigroupsWithFrobeniusNumber(57));</span>
20
</pre></div>

<p><a id="X7A1C2C737BC1C4CE" name="X7A1C2C737BC1C4CE"></a></p>

<h5>6.2-8 IsUniversallyFree</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsUniversallyFree</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsUniversallyFreeNumericalSemigroup</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is true if the numerical semigroup is free for all the arrangements of its minimal generators.</p>

<p>This filter implies <code class="func">IsTelescopic</code> (<a href="chap6.html#X830D0E0F7B8C6284"><span class="RefLink">6.2-6</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(10,15,18);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsUniversallyFree(s);</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(4,6,9);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsFree(s);</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">IsUniversallyFree(s);</span>
false
</pre></div>

<p><a id="X847CD0EF8452F771" name="X847CD0EF8452F771"></a></p>

<h5>6.2-9 IsNumericalSemigroupAssociatedIrreduciblePlanarCurveSingularity</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsNumericalSemigroupAssociatedIrreduciblePlanarCurveSingularity</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is true if the numerical semigroup is associated to an irreducible planar curve singularity (<a href="chapBib.html#biBZ86">[Zar86]</a>). These semigroups are telescopic.</p>

<p>This filter implies <code class="func">IsAperySetAlphaRectangular</code> (<a href="chap6.html#X86F52FB67F76D2CB"><span class="RefLink">6.2-13</span></a>) and <code class="func">IsTelescopicNumericalSemigroup</code> (<a href="chap6.html#X830D0E0F7B8C6284"><span class="RefLink">6.2-6</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">ns := NumericalSemigroup(4,11,14);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsNumericalSemigroupAssociatedIrreduciblePlanarCurveSingularity(ns);</span>
false
<span class="GAPprompt">gap></span> <span class="GAPinput">ns := NumericalSemigroup(4,11,19);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsNumericalSemigroupAssociatedIrreduciblePlanarCurveSingularity(ns);</span>
true
</pre></div>

<p><a id="X8784D11578C912F2" name="X8784D11578C912F2"></a></p>

<h5>6.2-10 NumericalSemigroupsPlanarSingularityWithFrobeniusNumber</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ NumericalSemigroupsPlanarSingularityWithFrobeniusNumber</code>( <var class="Arg">f</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">f</var> is an integer. The output is the set of all numerical semigroups associated to irreducible planar curves singularities with Frobenius number <var class="Arg">f</var>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">Length(NumericalSemigroupsPlanarSingularityWithFrobeniusNumber(57));</span>
7
</pre></div>

<p><a id="X80CAA1FA7F6FF4FD" name="X80CAA1FA7F6FF4FD"></a></p>

<h5>6.2-11 IsAperySetGammaRectangular</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsAperySetGammaRectangular</code>( <var class="Arg">S</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">S</var> is a numerical semigroup.</p>

<p>Test for the <span class="SimpleMath">γ</span>-rectangularity of the Apéry Set of a numerical semigroup. This test is the implementation of the algorithm given in <a href="chapBib.html#biBDAMSClasses">[DMS14]</a>. Numerical Semigroups with this property are free and thus complete intersections.</p>

<p>This filter implies <code class="func">IsFreeNumericalSemigroup</code> (<a href="chap6.html#X7CD2A77778432E7B"><span class="RefLink">6.2-4</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(30, 35, 42, 47, 148, 153, 157, 169, 181, 193);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAperySetGammaRectangular(s);</span>
false
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(4,6,11);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAperySetGammaRectangular(s);</span>
true
                </pre></div>

<p><a id="X7E6E262C7C421635" name="X7E6E262C7C421635"></a></p>

<h5>6.2-12 IsAperySetBetaRectangular</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsAperySetBetaRectangular</code>( <var class="Arg">S</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">S</var> is a numerical semigroup.</p>

<p>Test for the <span class="SimpleMath">β</span>-rectangularity of the Apéry Set of a numerical semigroup. This test is the implementation of the algorithm given in <a href="chapBib.html#biBDAMSClasses">[DMS14]</a>; <span class="SimpleMath">β</span>-rectangularity implies <span class="SimpleMath">γ</span>-rectangularity.</p>

<p>This filter implies <code class="func">IsAperySetGammaRectangular</code> (<a href="chap6.html#X80CAA1FA7F6FF4FD"><span class="RefLink">6.2-11</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(30, 35, 42, 47, 148, 153, 157, 169, 181, 193);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAperySetBetaRectangular(s);</span>
false
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(4,6,11);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAperySetBetaRectangular(s);</span>
true
                </pre></div>

<p><a id="X86F52FB67F76D2CB" name="X86F52FB67F76D2CB"></a></p>

<h5>6.2-13 IsAperySetAlphaRectangular</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsAperySetAlphaRectangular</code>( <var class="Arg">S</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">S</var> is a numerical semigroup.</p>

<p>Test for the <span class="SimpleMath">α</span>-rectangularity of the Apéry Set of a numerical semigroup. This test is the implementation of the algorithm given in <a href="chapBib.html#biBDAMSClasses">[DMS14]</a>; <span class="SimpleMath">α</span>-rectangularity implies <span class="SimpleMath">β</span>-rectangularity.</p>

<p>This filter implies <code class="func">IsAperySetBetaRectangular</code> (<a href="chap6.html#X7E6E262C7C421635"><span class="RefLink">6.2-12</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(30, 35, 42, 47, 148, 153, 157, 169, 181, 193);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAperySetAlphaRectangular(s);</span>
false
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(4,6,11);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAperySetAlphaRectangular(s);</span>
true
</pre></div>

<p><a id="X7998FF857F70C9A2" name="X7998FF857F70C9A2"></a></p>

<h4>6.3 <span class="Heading">
                    Almost-symmetric numerical semigroups
                </span></h4>

<p>A numerical semigroup is almost-symmetric (<a href="chapBib.html#biBBF97">[BF97]</a>) if its genus is the arithmetic mean of its Frobenius number and type. We use a procedure presented in <a href="chapBib.html#biBMR3169635">[RG14]</a> to determine the set of all almost-symmetric numerical semigroups with given Frobenius number. In order to do this, we first calculate the set of all almost-symmetric numerical semigroups that can be constructed from an irreducible numerical semigroup.</p>

<p><a id="X7A81F31479DB5DF2" name="X7A81F31479DB5DF2"></a></p>

<h5>6.3-1 AlmostSymmetricNumericalSemigroupsFromIrreducible</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AlmostSymmetricNumericalSemigroupsFromIrreducible</code>( <var class="Arg">s</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">s</var> is an irreducible numerical semigroup. The output is the set of almost-symmetric numerical semigroups that can be constructed from <var class="Arg">s</var> by removing some of its generators (as explained in <a href="chapBib.html#biBMR3169635">[RG14]</a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">ns := NumericalSemigroup(5,8,9,11);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">AlmostSymmetricNumericalSemigroupsFromIrreducible(ns);</span>
[ <Numerical semigroup with 4 generators>,
  <Numerical semigroup with 5 generators>,
  <Numerical semigroup with 5 generators> ]
<span class="GAPprompt">gap></span> <span class="GAPinput">List(last,MinimalGeneratingSystemOfNumericalSemigroup);</span>
[ [ 5, 8, 9, 11 ], [ 5, 8, 11, 14, 17 ], [ 5, 9, 11, 13, 17 ] ]
</pre></div>

<p><a id="X8788F6597DBC6D98" name="X8788F6597DBC6D98"></a></p>

<h5>6.3-2 AlmostSymmetricNumericalSemigroupsFromIrreducibleAndGivenType</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AlmostSymmetricNumericalSemigroupsFromIrreducibleAndGivenType</code>( <var class="Arg">s</var>, <var class="Arg">t</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">s</var> is an irreducible numerical semigroup and <var class="Arg">t</var> is a positive integer. The output is the set of almost-symmetric numerical semigroups with type <var class="Arg">t</var> that can be constructed from <var class="Arg">s</var> by removing some of its generators (as explained in <a href="chapBib.html#biBBOR18">[BOR18]</a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">ns := NumericalSemigroup(5,8,9,11);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">AlmostSymmetricNumericalSemigroupsFromIrreducibleAndGivenType(ns,4);</span>
[ <Numerical semigroup with 5 generators>, 
  <Numerical semigroup with 5 generators> ]
<span class="GAPprompt">gap></span> <span class="GAPinput">List(last,MinimalGenerators);</span>
[ [ 5, 8, 11, 14, 17 ], [ 5, 9, 11, 13, 17 ] ]
</pre></div>

<p><a id="X84C44C7A7D9270BB" name="X84C44C7A7D9270BB"></a></p>

<h5>6.3-3 IsAlmostSymmetric</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsAlmostSymmetric</code>( <var class="Arg">s</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsAlmostSymmetricNumericalSemigroup</code>( <var class="Arg">s</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is <code class="code">true</code> if the numerical semigroup is almost symmetric.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAlmostSymmetric(NumericalSemigroup(5,8,11,14,17));</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAlmostSymmetricNumericalSemigroup(NumericalSemigroup(5,8,11,14,17));</span>
true
</pre></div>

<p><a id="X7B0DF2FE7D00A9E0" name="X7B0DF2FE7D00A9E0"></a></p>

<h5>6.3-4 AlmostSymmetricNumericalSemigroupsWithFrobeniusNumber</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AlmostSymmetricNumericalSemigroupsWithFrobeniusNumber</code>( <var class="Arg">f</var>[, <var class="Arg">ts</var>] )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">f</var> is an integer, and so is <var class="Arg">ts</var>. The output is the set of all almost symmetric numerical semigroups with Frobenius number <var class="Arg">f</var>, and type greater than or equal to <var class="Arg">ts</var>. If <var class="Arg">ts</var> is not specified, then it is considered to be equal to one, and so the output is the set of all almost symmetric numerical semigroups with Frobenius number <var class="Arg">f</var>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">Length(AlmostSymmetricNumericalSemigroupsWithFrobeniusNumber(12));</span>
15
<span class="GAPprompt">gap></span> <span class="GAPinput">Length(IrreducibleNumericalSemigroupsWithFrobeniusNumber(12));</span>
2
<span class="GAPprompt">gap></span> <span class="GAPinput">List(AlmostSymmetricNumericalSemigroupsWithFrobeniusNumber(12,4),Type);</span>
[ 12, 10, 8, 8, 6, 6, 6, 6, 4, 4, 4, 4, 4 ]
</pre></div>

<p><a id="X85C4DA6E82E726D2" name="X85C4DA6E82E726D2"></a></p>

<h5>6.3-5 AlmostSymmetricNumericalSemigroupsWithFrobeniusNumberAndType</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AlmostSymmetricNumericalSemigroupsWithFrobeniusNumberAndType</code>( <var class="Arg">f</var>, <var class="Arg">t</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p><var class="Arg">f</var> is an integer and so is <var class="Arg">t</var>. The output is the set of all almost symmetric numerical semigroups with Frobenius number <var class="Arg">f</var> and type <var class="Arg">t</var>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">Length(AlmostSymmetricNumericalSemigroupsWithFrobeniusNumberAndType(12,4)); </span>
5
</pre></div>

<p><a id="X7FDC79A285EE016B" name="X7FDC79A285EE016B"></a></p>

<h4>6.4 <span class="Heading">
                    Several approaches generalizing the concept of symmetry
                </span></h4>

<p>Let <span class="SimpleMath">S</span> be a numerical semigroup and let <span class="SimpleMath">R</span> be its semigroup ring <span class="SimpleMath">K[[S]]</span>. We say that <span class="SimpleMath">S</span> has the generalized Gorenstein property if its semigroup ring has this property. For the definition and characterization of generalized Gorenstein rings please see <a href="chapBib.html#biBG-I-K-T">[tttt17]</a>.</p>

<p>A numerical semigroup is said to be nearly Gorenstein if its maximal ideal is contained in its trace ideal <a href="chapBib.html#biBtrace-canonical">[HHS19]</a>. Every almost symmetric numerical semigroup is nearly Gorenstein.</p>

<p>A numerical semigroup <span class="SimpleMath">S</span> with canonical ideal <span class="SimpleMath">K</span> is a generalized almost symmetric numerical semigroup if either <span class="SimpleMath">2K=K</span> (symmetric) or <span class="SimpleMath">2K∖ K={F(S)-x_1,dots, F(S)-x_r,F(S)}</span> for some <span class="SimpleMath">x_1,dots,x_r ∈ M∖ 2M</span> (minimal generators) and <span class="SimpleMath">x_i-x_jnot\in (S-M)∖ S</span> (not pseudo-Frobenius numbers), see <a href="chapBib.html#biBgas-semigroups">[DS21]</a>. As expected, every almost symmetric numerical semigroup is a generalized almost symmetric numerical semigroup.</p>

<p><a id="X8221EC44802E5158" name="X8221EC44802E5158"></a></p>

<h5>6.4-1 IsGeneralizedGorenstein</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsGeneralizedGorenstein</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is <code class="code">true</code> if the semigroup ring <span class="SimpleMath">K[[S]]</span> is generalized Gorenstein using the characterization by Goto-Kumashiro <a href="chapBib.html#biBG-K">[MK17]</a>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(3,7,8);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAlmostSymmetric(s);</span>
false
<span class="GAPprompt">gap></span> <span class="GAPinput">IsGeneralizedGorenstein(s);</span>
true
</pre></div>

<p><a id="X866E48B47D66CFF2" name="X866E48B47D66CFF2"></a></p>

<h5>6.4-2 IsNearlyGorenstein</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsNearlyGorenstein</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is <code class="code">true</code> if the semigroup is nearly Gorenstein, and <code class="code">false</code> otherwise.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(10,11,12,25);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAlmostSymmetric(s);</span>
false
<span class="GAPprompt">gap></span> <span class="GAPinput">IsNearlyGorenstein(s);</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(3,7,8);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsNearlyGorenstein(s);</span>
false
</pre></div>

<p><a id="X78049FC380A0006E" name="X78049FC380A0006E"></a></p>

<h5>6.4-3 NearlyGorensteinVectors</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ NearlyGorensteinVectors</code>( <var class="Arg">s</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. The output is a lists of lists (making the cartesian product of them yields all possible NG-vectors). If <span class="SimpleMath">n_i</span> is the ith generator of <var class="Arg">s</var>, in the ith position of the list it returns all pseudo-Frobenius numbers <span class="SimpleMath">f</span> of <var class="Arg">s</var> such that <span class="SimpleMath">n_i+f-f' is in s for all f a pseudo-Frobenius number of s, [MS21].




<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(10,11,12,25);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAlmostSymmetric(s);</span>
false
<span class="GAPprompt">gap></span> <span class="GAPinput">IsNearlyGorenstein(s);</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(3,7,8);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsNearlyGorenstein(s);</span>
false
</pre></div>

<p><a id="X83F13D6482F021B2" name="X83F13D6482F021B2"></a></p>

<h5>6.4-4 IsGeneralizedAlmostSymmetric</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsGeneralizedAlmostSymmetric</code>( <var class="Arg">s</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">s</var> is a numerical semigroup. Determines whether or not <var class="Arg">s</var> is a generalized almost symmetric numerical semigroup.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">s:=NumericalSemigroup(9, 24, 39, 43, 77);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsGeneralizedAlmostSymmetric(s);</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">IsAlmostSymmetric(s);</span>
false
</pre></div>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap5.html">[Previous Chapter]</a>    <a href="chap7.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</a>  <a href="chap11.html">11</a>  <a href="chap12.html">12</a>  <a href="chap13.html">13</a>  <a href="chap14.html">14</a>  <a href="chapA.html">A</a>  <a href="chapB.html">B</a>  <a href="chapC.html">C</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>

95%


¤ Dauer der Verarbeitung: 0.24 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.