| 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 21 kB |
|
Quelle chapC.html Sprache: 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) - Appendix C: Contributions</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="chapC" onload="jscontent()"> <div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a <div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#con <p id="mathjaxlink" class="pcenter"><a href="chapC_mj.html">[MathJax on]</a></p> <p><a id="X7F1146137C92FF0E" name="X7F1146137C92FF0E"></a></p> <div class="ChapSects"><a href="chapC.html#X7F1146137C92FF0E">C <span class="Heading">Cont <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X8 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X8 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X8 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X8 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X8 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X8 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X8 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X8 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X8 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X8 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7 </span> </div> </div> <h3>C <span class="Heading">Contributions</span></h3> <p>Sebastian Gutsche helped in the implementation of inference of properties from already know <p><a id="X8516272A7ACC7C02" name="X8516272A7ACC7C02"></a></p> <h4>C.1 <span class="Heading">Functions implemented by A. Sammartano</span></h4> <p>A. Sammartano implemented the following functions.</p> <p><code class="func">IsAperySetGammaRectangular</code> (<a href="chap6.html#X80CAA1FA7F6F <p><code class="func">IsAperySetBetaRectangular</code> (<a href="chap6.html#X7E6E262C7C421 <p><code class="func">IsAperySetAlphaRectangular</code> (<a href="chap6.html#X86F52FB67F76 <p><code class="func">TypeSequenceOfNumericalSemigroup</code> (<a href="chap7.html#X7BB2A1 <p><code class="func">IsGradedAssociatedRingNumericalSemigroupBuchsbaum</code> (<a href="c <p><code class="func">IsGradedAssociatedRingNumericalSemigroupBuchsbaum</code> (<a href="c <p><code class="func">TorsionOfAssociatedGradedRingNumericalSemigroup</code> (<a href="cha <p><code class="func">BuchsbaumNumberOfAssociatedGradedRingNumericalSemigroup</code> (<a h <p><code class="func">IsMpureNumericalSemigroup</code> (<a href="chap9.html#X8400FB5D81EFB <p><code class="func">IsPureNumericalSemigroup</code> (<a href="chap9.html#X7B894ED27D38E4 <p><code class="func">IsGradedAssociatedRingNumericalSemigroupGorenstein</code> (<a href=" <p><code class="func">IsGradedAssociatedRingNumericalSemigroupCI</code> (<a href="chap7.ht <p><a id="X821A695C7C0BDF59" name="X821A695C7C0BDF59"></a></p> <h4>C.2 <span class="Heading">Functions implemented by C. O'Neill <p>Chris implemented the following functions described in <a href="chapBib.html#biBB-P-ON">[ <p><code class="func">OmegaPrimalityOfElementListInNumericalSemigroup</code> (<a href="cha <p><code class="func">FactorizationsElementListWRTNumericalSemigroup</code> (<a href="chap <p><code class="func">DeltaSetPeriodicityBoundForNumericalSemigroup</code> (<a href="chap9 <p><code class="func">DeltaSetPeriodicityStartForNumericalSemigroup</code> (<a href="chap9 <p><code class="func">DeltaSetListUpToElementWRTNumericalSemigroup</code> (<a href="chap9. <p><code class="func">DeltaSetUnionUpToElementWRTNumericalSemigroup</code> (<a href="chap9 <p><code class="func">DeltaSetOfNumericalSemigroup</code> (<a href="chap9.html#X83B0606278 <p>And contributed to:</p> <p><code class="func">DeltaSetOfAffineSemigroup</code> (<a href="chap11.html#X839549448300 <p><code class="func">AperyListOfNumericalSemigroupWRTElement</code> (<a href="chap3.html# <p><a id="X7F4C9F8A7F7CDBC8" name="X7F4C9F8A7F7CDBC8"></a></p> <h4>C.3 <span class="Heading">Functions implemented by K. Stokes</span></h4> <p>Klara Stokes helped with the implementation of functions related to patterns for ideals of nu <p><a id="X81478D2D862B6213" name="X81478D2D862B6213"></a></p> <h4>C.4 <span class="Heading">Functions implemented by I. Ojeda and C. J. Moreno Ávila</span></h4> <p>Ignacio and Carlos Jesús implemented the algorithms given in <a href="chapBib.html#biBRoune <p><a id="X7C7DCFA37C8B5260" name="X7C7DCFA37C8B5260"></a></p> <h4>C.5 <span class="Heading">Functions implemented by I. Ojeda</span></h4> <p>Ignacio also implemented the following functions.</p> <p><code class="func">AlmostSymmetricNumericalSemigroupsFromIrreducibleAndGivenType</c <p><code class="func">AlmostSymmetricNumericalSemigroupsWithFrobeniusNumberAndType</co <p><code class="func">NumericalSemigroupsWithFrobeniusNumberAndMultiplicity</code> (<a hre <p><code class="func">IrreducibleNumericalSemigroupsWithFrobeniusNumberAndMultiplicit <p>Ignacio also implemented the new versions of</p> <p><code class="func">AlmostSymmetricNumericalSemigroupsWithFrobeniusNumber</code> (<a hre <p><code class="func">NumericalSemigroupsWithFrobeniusNumber</code> (<a href="chap5.html#X <p><a id="X8549AE427919FFDC" name="X8549AE427919FFDC"></a></p> <h4>C.6 <span class="Heading">Functions implemented by A. Sánchez-R. Navarro</span></h4> <p>Alfredo helped in the implementation of methods for <var class="Arg">4ti2gap</var> of the follo <p><code class="func">FactorizationsVectorWRTList</code> (<a href="chap11.html#X8780C7E583 <p><code class="func">DegreesOfPrimitiveElementsOfAffineSemigroup</code> (<a href="chap11. <p><code class="func">MinimalPresentationOfAffineSemigroup</code> (<a href="chap11.html#X8 <p>He also helped in preliminary versions of the following functions.</p> <p><code class="func">CatenaryDegreeOfSetOfFactorizations</code> (<a href="chap9.html#X86F <p><code class="func">TameDegreeOfSetOfFactorizations</code> (<a href="chap9.html#X80D4784 <p><code class="func">TameDegreeOfNumericalSemigroup</code> (<a href="chap9.html#X809D97A1 <p><code class="func">TameDegreeOfAffineSemigroup</code> (<a href="chap11.html#X8457595E7A <p><code class="func">OmegaPrimalityOfElementInAffineSemigroup</code> (<a href="chap11.htm <p><code class="func">CatenaryDegreeOfAffineSemigroup</code> (<a href="chap11.html#X80742F <p><code class="func">MonotoneCatenaryDegreeOfSetOfFactorizations</code> (<a href="chap9.h <p><code class="func">EqualCatenaryDegreeOfSetOfFactorizations</code> (<a href="chap9.html <p><code class="func">AdjacentCatenaryDegreeOfSetOfFactorizations</code> (<a href="chap9.h <p><code class="func">HomogeneousCatenaryDegreeOfAffineSemigroup</code> (<a href="chap11.h <p><a id="X7FAE71B27B0E3889" name="X7FAE71B27B0E3889"></a></p> <h4>C.7 <span class="Heading">Functions implemented by G. Zito</span></h4> <p>Giuseppe gave the algorithms for the current version functions</p> <p><code class="func">ArfNumericalSemigroupsWithFrobeniusNumber</code> (<a href="chap8.htm <p><code class="func">ArfNumericalSemigroupsWithFrobeniusNumberUpTo</code> (<a href="chap8 <p><code class="func">ArfNumericalSemigroupsWithGenus</code> (<a href="chap8.html#X80A13F7 <p><code class="func">ArfNumericalSemigroupsWithGenusUpTo</code> (<a href="chap8.html#X80E <p><code class="func">ArfCharactersOfArfNumericalSemigroup</code> (<a href="chap8.html#X83 <p><a id="X85067C3383705D0B" name="X85067C3383705D0B"></a></p> <h4>C.8 <span class="Heading">Functions implemented by A. Herrera-Poyatos</span></h4> <p>Andrés Herrera-Poyatos gave new implementations of</p> <p><code class="func">IsSelfReciprocalUnivariatePolynomial</code> (<a href="chap10.html#X8 <p><code class="func">IsKroneckerPolynomial</code> (<a href="chap10.html#X7D9618ED83776B0B <p><a id="X81EA8996840BD031" name="X81EA8996840BD031"></a></p> <h4>C.9 <span class="Heading">Functions implemented by Benjamin Heredia</span></h4> <p>Benjamin Heredia implemented a preliminary version of</p> <p><code class="func">FengRaoDistance</code> (<a href="chap9.html#X7939BCE08655B62D"><span cl <p><a id="X7ED672F578B6FDC3" name="X7ED672F578B6FDC3"></a></p> <h4>C.10 <span class="Heading">Functions implemented by Juan Ignacio García-García</span></h4> <p>Juan Ignacio implemented a preliminary version of</p> <p><code class="func">NumericalSemigroupsWithFrobeniusNumber</code> (<a href="chap5.html#X <p><a id="X8348844883A78B05" name="X8348844883A78B05"></a></p> <h4>C.11 <span class="Heading">Functions implemented by C. Cisto</span></h4> <p>Carmelo provided some functions to deal with affine semigroups given by gaps, and to compute g <p><code class="func">AffineSemigroupByGaps</code> (<a href="chap11.html#X83F6DDB787E07771 <p><code class="func">RemoveMinimalGeneratorFromAffineSemigroup</code> (<a href="chap11.ht <p><code class="func">AddSpecialGapOfAffineSemigroup</code> (<a href="chap11.html#X7B78E02 <p><a id="X8130D17C7D6B5096" name="X8130D17C7D6B5096"></a></p> <h4>C.12 <span class="Heading">Functions implemented by N. Matsuoka</span></h4> <p>Naoyuki implemented the function associated to the generalized Gorenstein property, see Se <p><a id="X78ED0D447B74A9FF" name="X78ED0D447B74A9FF"></a></p> <h4>C.13 <span class="Heading">Functions implemented by N. Maugeri</span></h4> <p>Nicola fixed the implementation of <code class="func">ArfGoodSemigroupClosure</code> (<a hre <p><code class="func">ProjectionOfAGoodSemigroup</code> (<a href="chap12.html#X806865CB794 <p><code class="func">GenusOfGoodSemigroup</code> (<a href="chap12.html#X7D70CD958333D49B">< <p><code class="func">LengthOfGoodSemigroup</code> (<a href="chap12.html#X81BD57ED80145EB0 <p><code class="func">AperySetOfGoodSemigroup</code> (<a href="chap12.html#X809E0C077A6138 <p><code class="func">StratifiedAperySetOfGoodSemigroup</code> (<a href="chap12.html#X7B23 <p><code class="func">AbsoluteIrreduciblesOfGoodSemigroup</code> (<a href="chap12.html#X7D <p><code class="func">TracksOfGoodSemigroup</code> (<a href="chap12.html#X87AB3B09857B383A <p><code class="func">RandomGoodSemigroupWithFixedMultiplicity</code> (<a href="chapB.html <p><a id="X8283CFD584D2E3EE" name="X8283CFD584D2E3EE"></a></p> <h4>C.14 <span class="Heading">Functions implemented by H. Martín Cruz</span></h4> <p>Helena helped in the implementation of the code for ideals of affine semigroups <a href="chap1 <p><a id="X82919F927DC72A52" name="X82919F927DC72A52"></a></p> <h4>C.15 <span class="Heading">Functions implemented by J. Angulo Rodríguez</span></h4> <p>Jorge implemented the code corresponding to decompositions of ideals into irreducibles <a hr <p><a id="X7C4C93CD8200C606" name="X7C4C93CD8200C606"></a></p> <h4>C.16 <span class="Heading">Functions implemented by F. Strazzanti</span></h4> <p>Francesco helped in the implementation of the following methods.</p> <p><code class="func">IsAlmostCanonicalIdeal</code> (<a href="chap7.html#X829C9685798BB553 <p><code class="func">TraceIdealOfNumericalSemigroup</code> (<a href="chap7.html#X811B096B <p><code class="func">IsNearlyGorenstein</code> (<a href="chap6.html#X866E48B47D66CFF2"><spa <p><code class="func">IsGeneralizedAlmostSymmetric</code> (<a href="chap6.html#X83F13D6482 <p><code class="func">IsHomogeneousNumericalSemigroup</code> (<a href="chap9.html#X80B707E <p><code class="func">AsNumericalDuplication</code> (<a href="chap5.html#X8176CEB4829084B4 <p><code class="func">RFMatrices</code> (<a href="chap9.html#X86062FCA85A51870"><span class=" <p><code class="func">DilatationOfNumericalSemigroup</code> (<a href="chap5.html#X81632C59 <div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#con <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a <hr /> <p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GA </body> </html> ¤ Dauer der Verarbeitung: 0.20 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28