#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "NumericalSgpsMan",
entries :=
[ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ],
  [ "Copyright", ".-1", [ 0, 0, 1 ], 27, 2, "copyright", "X81488B807F2A1CF1" ]
    , [ "Acknowledgements", ".-2", [ 0, 0, 2 ], 35, 2, "acknowledgements", 
      "X82A988D47DFAFCFA" ], 
  [ "Colophon", ".-3", [ 0, 0, 3 ], 56, 2, "colophon", "X7982162280BC7A61" ], 
  [ "Table of Contents", ".-4", [ 0, 0, 4 ], 63, 3, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1XIntroduction\033[0X", "1", [ 1, 0, 0 ], 1, 6, "introduction", 
      "X7DFB63A97E67C0A1" ], 
  [ "\033[1XNumerical Semigroups\033[0X", "2", [ 2, 0, 0 ], 1, 9, 
      "numerical semigroups", "X8324E5D97DC2A801" ], 
  [ "\033[1XGenerating Numerical Semigroups\033[0X", "2.1", [ 2, 1, 0 ], 7, 
      9, "generating numerical semigroups", "X7E89D7EB7FCC2197" ], 
  [ "\033[1XSome basic tests\033[0X", "2.2", [ 2, 2, 0 ], 148, 11, 
      "some basic tests", "X7EF4254C81ED6665" ], 
  [ "\033[1XBasic operations with numerical semigroups\033[0X", "3", 
      [ 3, 0, 0 ], 1, 15, "basic operations with numerical semigroups", 
      "X7A9D13C778697F6C" ], 
  [ "\033[1XThe definitions\033[0X", "3.1", [ 3, 1, 0 ], 4, 15, 
      "the definitions", "X7F15FEA980D637AF" ], 
  [ "\033[1XFrobenius Number\033[0X", "3.2", [ 3, 2, 0 ], 117, 17, 
      "frobenius number", "X7F97E0127A1D2835" ], 
  [ "\033[1XGaps\033[0X", "3.3", [ 3, 3, 0 ], 158, 18, "gaps", 
      "X787FE6F180C6291F" ], 
  [ "\033[1XPresentations of Numerical Semigroups\033[0X", "4", [ 4, 0, 0 ], 
      1, 19, "presentations of numerical semigroups", "X7969F7F27AAF0BF1" ], 
  [ "\033[1XPresentations of Numerical Semigroups\033[0X", "4.1", 
      [ 4, 1, 0 ], 7, 19, "presentations of numerical semigroups", 
      "X7969F7F27AAF0BF1" ], 
  [ "\033[1XConstructing numerical semigroups from others\033[0X", "5", 
      [ 5, 0, 0 ], 1, 21, "constructing numerical semigroups from others", 
      "X8148F05A830EE2D5" ], 
  [ "\033[1XAdding and removing elements of a numerical semigroup\033[0X", 
      "5.1", [ 5, 1, 0 ], 4, 21, 
      "adding and removing elements of a numerical semigroup", 
      "X782F3AB97ACF84B8" ], 
  [ "\033[1XConstructing the set of all numerical semigroups containing a give\
n\033[0X \033[1Xnumerical semigroup\033[0X", "5.2", [ 5, 2, 0 ], 104, 23, 
      "constructing the set of all numerical semigroups containing a given num\
erical semigroup", "X867D9A9A87CEB869" ], 
  [ "\033[1XIrreducible numerical semigroups\033[0X", "6", [ 6, 0, 0 ], 1, 
      25, "irreducible numerical semigroups", "X83C597EC7FAA1C0F" ], 
  [ "\033[1XIrreducible numerical semigroups\033[0X", "6.1", [ 6, 1, 0 ], 4, 
      25, "irreducible numerical semigroups", "X83C597EC7FAA1C0F" ], 
  [ "\033[1XIdeals of numerical semigroups\033[0X", "7", [ 7, 0, 0 ], 1, 28, 
      "ideals of numerical semigroups", "X83C2F0CF825B3869" ], 
  [ "\033[1XIdeals of numerical semigroups\033[0X", "7.1", [ 7, 1, 0 ], 4, 
      28, "ideals of numerical semigroups", "X83C2F0CF825B3869" ], 
  [ "\033[1XNumerical semigroups with maximal embedding dimension\033[0X", 
      "8", [ 8, 0, 0 ], 1, 37, 
      "numerical semigroups with maximal embedding dimension", 
      "X7D2E70FC82D979D3" ], 
  [ "\033[1XNumerical semigroups with maximal embedding dimension\033[0X", 
      "8.1", [ 8, 1, 0 ], 4, 37, 
      "numerical semigroups with maximal embedding dimension", 
      "X7D2E70FC82D979D3" ], 
  [ "\033[1XNumerical semigroups with the Arf property and Arf closures\033[0X\
", "8.2", [ 8, 2, 0 ], 74, 38, 
      "numerical semigroups with the arf property and arf closures", 
      "X82E40EFD83A4A186" ], 
  [ "\033[1XCatenary and Tame degrees of numerical semigroups\033[0X", "9", 
      [ 9, 0, 0 ], 1, 40, "catenary and tame degrees of numerical semigroups",
      "X7C76B03A84BA7574" ], 
  [ "\033[1XFactorizations in Numerical Semigroups\033[0X", "9.1", 
      [ 9, 1, 0 ], 4, 40, "factorizations in numerical semigroups", 
      "X7FDB54217B15148F" ], 
  [ "\033[1XGeneralities\033[0X", "a", [ "A", 0, 0 ], 1, 43, "generalities", 
      "X7AF8D94A7E56C049" ], 
  [ "\033[1XB\303\251zout sequences\033[0X", "a.1", [ "A", 1, 0 ], 8, 43, 
      "ba\251zout sequences", "X7A5D608487A8C98F" ], 
  [ "\033[1XPeriodic subadditive functions\033[0X", "a.2", [ "A", 2, 0 ], 60, 
      44, "periodic subadditive functions", "X7D3D347987953F44" ], 
  [ "\033[1XRandom functions\033[0X", "b", [ "B", 0, 0 ], 1, 45, 
      "random functions", "X86746B487B54A2D6" ], 
  [ "\033[1XRandom functions\033[0X", "b.1", [ "B", 1, 0 ], 7, 45, 
      "random functions", "X86746B487B54A2D6" ], 
  [ "\033[1XA graphical interface\033[0X", "c", [ "C", 0, 0 ], 1, 47, 
      "a graphical interface", "X7E34378C7C333327" ], 
  [ "\033[1XGraphical interface\033[0X", "c.1", [ "C", 1, 0 ], 6, 47, 
      "graphical interface", "X86EF7EAB809D2418" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 49, "bibliography", 
      "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 49, "references", 
      "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 51, "index", "X83A0356F839C696F" ], 
  [ "\033[2XNumericalSemigroup\033[0X", "2.1-1", [ 2, 1, 1 ], 43, 9, 
      "numericalsemigroup", "X86DEEBFE854B60A6" ], 
  [ "\033[2XModularNumericalSemigroup\033[0X", "2.1-2", [ 2, 1, 2 ], 89, 10, 
      "modularnumericalsemigroup", "X87206D597873EAFF" ], 
  [ "\033[2XProportionallyModularNumericalSemigroup\033[0X", "2.1-3", 
      [ 2, 1, 3 ], 101, 10, "proportionallymodularnumericalsemigroup", 
      "X879171CD7AC80BB5" ], 
  [ "\033[2XNumericalSemigroupByGenerators\033[0X", "2.1-4", [ 2, 1, 4 ], 
      113, 11, "numericalsemigroupbygenerators", "X79B38AB3816BF3C5" ], 
  [ "\033[2XNumericalSemigroupByMinimalGenerators\033[0X", "2.1-4", 
      [ 2, 1, 4 ], 113, 11, "numericalsemigroupbyminimalgenerators", 
      "X79B38AB3816BF3C5" ], 
  [ "\033[2XNumericalSemigroupByMinimalGeneratorsNC\033[0X", "2.1-4", 
      [ 2, 1, 4 ], 113, 11, "numericalsemigroupbyminimalgeneratorsnc", 
      "X79B38AB3816BF3C5" ], 
  [ "\033[2XNumericalSemigroupByInterval\033[0X", "2.1-4", [ 2, 1, 4 ], 113, 
      11, "numericalsemigroupbyinterval", "X79B38AB3816BF3C5" ], 
  [ "\033[2XNumericalSemigroupByOpenInterval\033[0X", "2.1-4", [ 2, 1, 4 ], 
      113, 11, "numericalsemigroupbyopeninterval", "X79B38AB3816BF3C5" ], 
  [ "\033[2XNumericalSemigroupBySubAdditiveFunction\033[0X", "2.1-4", 
      [ 2, 1, 4 ], 113, 11, "numericalsemigroupbysubadditivefunction", 
      "X79B38AB3816BF3C5" ], 
  [ "\033[2XNumericalSemigroupByAperyList\033[0X", "2.1-4", [ 2, 1, 4 ], 113, 
      11, "numericalsemigroupbyaperylist", "X79B38AB3816BF3C5" ], 
  [ "\033[2XNumericalSemigroupBySmallElements\033[0X", "2.1-4", [ 2, 1, 4 ], 
      113, 11, "numericalsemigroupbysmallelements", "X79B38AB3816BF3C5" ], 
  [ "\033[2XNumericalSemigroupByGaps\033[0X", "2.1-4", [ 2, 1, 4 ], 113, 11, 
      "numericalsemigroupbygaps", "X79B38AB3816BF3C5" ], 
  [ "\033[2XNumericalSemigroupByFundamentalGaps\033[0X", "2.1-4", 
      [ 2, 1, 4 ], 113, 11, "numericalsemigroupbyfundamentalgaps", 
      "X79B38AB3816BF3C5" ], 
  [ "\033[2XIsNumericalSemigroup\033[0X", "2.2-1", [ 2, 2, 1 ], 158, 11, 
      "isnumericalsemigroup", "X7B1B6B8C82BD7084" ], 
  [ "\033[2XIsNumericalSemigroupByGenerators\033[0X", "2.2-1", [ 2, 2, 1 ], 
      158, 11, "isnumericalsemigroupbygenerators", "X7B1B6B8C82BD7084" ], 
  [ "\033[2XIsNumericalSemigroupByMinimalGenerators\033[0X", "2.2-1", 
      [ 2, 2, 1 ], 158, 11, "isnumericalsemigroupbyminimalgenerators", 
      "X7B1B6B8C82BD7084" ], 
  [ "\033[2XIsNumericalSemigroupByInterval\033[0X", "2.2-1", [ 2, 2, 1 ], 
      158, 11, "isnumericalsemigroupbyinterval", "X7B1B6B8C82BD7084" ], 
  [ "\033[2XIsNumericalSemigroupByOpenInterval\033[0X", "2.2-1", [ 2, 2, 1 ], 
      158, 11, "isnumericalsemigroupbyopeninterval", "X7B1B6B8C82BD7084" ], 
  [ "\033[2XIsNumericalSemigroupBySubAdditiveFunction\033[0X", "2.2-1", 
      [ 2, 2, 1 ], 158, 11, "isnumericalsemigroupbysubadditivefunction", 
      "X7B1B6B8C82BD7084" ], 
  [ "\033[2XIsNumericalSemigroupByAperyList\033[0X", "2.2-1", [ 2, 2, 1 ], 
      158, 11, "isnumericalsemigroupbyaperylist", "X7B1B6B8C82BD7084" ], 
  [ "\033[2XIsNumericalSemigroupBySmallElements\033[0X", "2.2-1", 
      [ 2, 2, 1 ], 158, 11, "isnumericalsemigroupbysmallelements", 
      "X7B1B6B8C82BD7084" ], 
  [ "\033[2XIsNumericalSemigroupByGaps\033[0X", "2.2-1", [ 2, 2, 1 ], 158, 
      11, "isnumericalsemigroupbygaps", "X7B1B6B8C82BD7084" ], 
  [ "\033[2XIsNumericalSemigroupByFundamentalGaps\033[0X", "2.2-1", 
      [ 2, 2, 1 ], 158, 11, "isnumericalsemigroupbyfundamentalgaps", 
      "X7B1B6B8C82BD7084" ], 
  [ "\033[2XIsProportionallyModularNumericalSemigroup\033[0X", "2.2-1", 
      [ 2, 2, 1 ], 158, 11, "isproportionallymodularnumericalsemigroup", 
      "X7B1B6B8C82BD7084" ], 
  [ "\033[2XIsModularNumericalSemigroup\033[0X", "2.2-1", [ 2, 2, 1 ], 158, 
      11, "ismodularnumericalsemigroup", "X7B1B6B8C82BD7084" ], 
  [ "\033[2XRepresentsSmallElementsOfNumericalSemigroup\033[0X", "2.2-2", 
      [ 2, 2, 2 ], 192, 12, "representssmallelementsofnumericalsemigroup", 
      "X87B02A9F7AF90CB9" ], 
  [ "\033[2XRepresentsGapsOfNumericalSemigroup\033[0X", "2.2-3", [ 2, 2, 3 ], 
      210, 12, "representsgapsofnumericalsemigroup", "X78906CCD7BEE0E58" ], 
  [ "\033[2XIsAperyListOfNumericalSemigroup\033[0X", "2.2-4", [ 2, 2, 4 ], 
      230, 13, "isaperylistofnumericalsemigroup", "X84A611557B5ACF42" ], 
  [ "\033[2XIsSubsemigroupOfNumericalSemigroup\033[0X", "2.2-5", [ 2, 2, 5 ], 
      245, 13, "issubsemigroupofnumericalsemigroup", "X86D5B3517AF376D4" ], 
  [ "\033[2XBelongsToNumericalSemigroup\033[0X", "2.2-6", [ 2, 2, 6 ], 262, 
      13, "belongstonumericalsemigroup", "X864C2D8E80DD6D16" ], 
  [ "\033[2XMultiplicityOfNumericalSemigroup\033[0X", "3.1-1", [ 3, 1, 1 ], 
      7, 15, "multiplicityofnumericalsemigroup", "X842721EF8145C3D3" ], 
  [ "\033[2XGeneratorsOfNumericalSemigroup\033[0X", "3.1-2", [ 3, 1, 2 ], 21, 
      15, "generatorsofnumericalsemigroup", "X7A3177E779C49D13" ], 
  [ "\033[2XGeneratorsOfNumericalSemigroupNC\033[0X", "3.1-2", [ 3, 1, 2 ], 
      21, 15, "generatorsofnumericalsemigroupnc", "X7A3177E779C49D13" ], 
  [ "\033[2XMinimalGeneratingSystemOfNumericalSemigroup\033[0X", "3.1-2", 
      [ 3, 1, 2 ], 21, 15, "minimalgeneratingsystemofnumericalsemigroup", 
      "X7A3177E779C49D13" ], 
  [ "\033[2XSmallElementsOfNumericalSemigroup\033[0X", "3.1-3", [ 3, 1, 3 ], 
      46, 16, "smallelementsofnumericalsemigroup", "X79D6E4727B612B54" ], 
  [ "\033[2XFirstElementsOfNumericalSemigroup\033[0X", "3.1-4", [ 3, 1, 4 ], 
      59, 16, "firstelementsofnumericalsemigroup", "X7F0EDFA77F929120" ], 
  [ "\033[2XAperyListOfNumericalSemigroupWRTElement\033[0X", "3.1-5", 
      [ 3, 1, 5 ], 73, 16, "aperylistofnumericalsemigroupwrtelement", 
      "X86C699F2800F9ED0" ], 
  [ "\033[2XDrawAperyListOfNumericalSemigroup\033[0X", "3.1-6", [ 3, 1, 6 ], 
      88, 16, "drawaperylistofnumericalsemigroup", "X85C89A6B81A07061" ], 
  [ "\033[2XAperyListOfNumericalSemigroupAsGraph\033[0X", "3.1-7", 
      [ 3, 1, 7 ], 98, 17, "aperylistofnumericalsemigroupasgraph", 
      "X8022CC477E9BF678" ], 
  [ "\033[2XFrobeniusNumberOfNumericalSemigroup\033[0X", "3.2-1", 
      [ 3, 2, 1 ], 126, 17, "frobeniusnumberofnumericalsemigroup", 
      "X7828CD2B83E380FA" ], 
  [ "\033[2XFrobeniusNumber\033[0X", "3.2-2", [ 3, 2, 2 ], 139, 17, 
      "frobeniusnumber", "X7B7DFAB2834B2B36" ], 
  [ "\033[2XPseudoFrobeniusOfNumericalSemigroup\033[0X", "3.2-3", 
      [ 3, 2, 3 ], 145, 17, "pseudofrobeniusofnumericalsemigroup", 
      "X829A9C517A83FFD5" ], 
  [ "\033[2XGapsOfNumericalSemigroup\033[0X", "3.3-1", [ 3, 3, 1 ], 168, 18, 
      "gapsofnumericalsemigroup", "X7B1BEC5786C66244" ], 
  [ "\033[2XFundamentalGapsOfNumericalSemigroup\033[0X", "3.3-2", 
      [ 3, 3, 2 ], 179, 18, "fundamentalgapsofnumericalsemigroup", 
      "X81EC33E978C73FEA" ], 
  [ "\033[2XSpecialGapsOfNumericalSemigroup\033[0X", "3.3-3", [ 3, 3, 3 ], 
      195, 18, "specialgapsofnumericalsemigroup", "X7E373952877AC30A" ], 
  [ "\033[2XFortenTruncatedNCForNumericalSemigroups\033[0X", "4.1-1", 
      [ 4, 1, 1 ], 10, 19, "fortentruncatedncfornumericalsemigroups", 
      "X8028208F84950722" ], 
  [ "\033[2XMinimalPresentationOfNumericalSemigroup\033[0X", "4.1-2", 
      [ 4, 1, 2 ], 28, 19, "minimalpresentationofnumericalsemigroup", 
      "X7D8199858781EB41" ], 
  [ "\033[2XGraphAssociatedToElementInNumericalSemigroup\033[0X", "4.1-3", 
      [ 4, 1, 3 ], 56, 20, "graphassociatedtoelementinnumericalsemigroup", 
      "X81CC5A6C870377E1" ], 
  [ "\033[2XRemoveMinimalGeneratorFromNumericalSemigroup\033[0X", "5.1-1", 
      [ 5, 1, 1 ], 12, 21, "removeminimalgeneratorfromnumericalsemigroup", 
      "X7C94611F7DD9E742" ], 
  [ "\033[2XAddSpecialGapOfNumericalSemigroup\033[0X", "5.1-2", [ 5, 1, 2 ], 
      32, 21, "addspecialgapofnumericalsemigroup", "X865EA8377D632F53" ], 
  [ "\033[2XIntersectionOfNumericalSemigroups\033[0X", "5.1-3", [ 5, 1, 3 ], 
      57, 22, "intersectionofnumericalsemigroups", "X874494928728023E" ], 
  [ "\033[2XQuotientOfNumericalSemigroup\033[0X", "5.1-4", [ 5, 1, 4 ], 79, 
      22, "quotientofnumericalsemigroup", "X83CCE63C82F34C25" ], 
  [ "\033[2XOverSemigroupsNumericalSemigroup\033[0X", "5.2-1", [ 5, 2, 1 ], 
      117, 23, "oversemigroupsnumericalsemigroup", "X7EEA97AB85FE078C" ], 
  [ "\033[2XNumericalSemigroupsWithFrobeniusNumber\033[0X", "5.2-2", 
      [ 5, 2, 2 ], 132, 23, "numericalsemigroupswithfrobeniusnumber", 
      "X87369D567AA6DBA0" ], 
  [ "\033[2XNumericalSemigroupsWithGenus\033[0X", "5.2-3", [ 5, 2, 3 ], 154, 
      23, "numericalsemigroupswithgenus", "X86970F6A868DEA95" ], 
  [ "\033[2XIsIrreducibleNumericalSemigroup\033[0X", "6.1-1", [ 6, 1, 1 ], 
      32, 25, "isirreduciblenumericalsemigroup", "X87D62468791EDE8A" ], 
  [ "\033[2XIsSymmetricNumericalSemigroup\033[0X", "6.1-2", [ 6, 1, 2 ], 48, 
      26, "issymmetricnumericalsemigroup", "X7BCDAFE3791A3C48" ], 
  [ "\033[2XIsPseudoSymmetricNumericalSemigroup\033[0X", "6.1-3", 
      [ 6, 1, 3 ], 64, 26, "ispseudosymmetricnumericalsemigroup", 
      "X84125DC485D48A88" ], 
  [ "\033[2XAnIrreducibleNumericalSemigroupWithFrobeniusNumber\033[0X", 
      "6.1-4", [ 6, 1, 4 ], 80, 26, 
      "anirreduciblenumericalsemigroupwithfrobeniusnumber", 
      "X7C8AB03F7E0B71F0" ], 
  [ "\033[2XIrreducibleNumericalSemigroupsWithFrobeniusNumber\033[0X", 
      "6.1-5", [ 6, 1, 5 ], 96, 26, 
      "irreduciblenumericalsemigroupswithfrobeniusnumber", 
      "X78345A267ADEFBAB" ], 
  [ "\033[2XDecomposeIntoIrreducibles\033[0X", "6.1-6", [ 6, 1, 6 ], 110, 27, 
      "decomposeintoirreducibles", "X8227EF2B7F67E2FB" ], 
  [ "\033[2XIdealOfNumericalSemigroup\033[0X", "7.1-1", [ 7, 1, 1 ], 18, 28, 
      "idealofnumericalsemigroup", "X78E5F44E81485C17" ], 
  [ "\033[2XIsIdealOfNumericalSemigroup\033[0X", "7.1-2", [ 7, 1, 2 ], 41, 
      28, "isidealofnumericalsemigroup", "X85BD6FAD7EA3B5DD" ], 
  [ "\033[2XMinimalGeneratingSystemOfIdealOfNumericalSemigroup\033[0X", 
      "7.1-3", [ 7, 1, 3 ], 58, 29, 
      "minimalgeneratingsystemofidealofnumericalsemigroup", 
      "X7CF1EA687B137C3D" ], 
  [ "\033[2XGeneratorsOfIdealOfNumericalSemigroup\033[0X", "7.1-4", 
      [ 7, 1, 4 ], 75, 29, "generatorsofidealofnumericalsemigroup", 
      "X86A9200283D1B32B" ], 
  [ "\033[2XGeneratorsOfIdealOfNumericalSemigroupNC\033[0X", "7.1-4", 
      [ 7, 1, 4 ], 75, 29, "generatorsofidealofnumericalsemigroupnc", 
      "X86A9200283D1B32B" ], 
  [ "\033[2XAmbientNumericalSemigroupOfIdeal\033[0X", "7.1-5", [ 7, 1, 5 ], 
      102, 29, "ambientnumericalsemigroupofideal", "X81E445518529C175" ], 
  [ "\033[2XSmallElementsOfIdealOfNumericalSemigroup\033[0X", "7.1-6", 
      [ 7, 1, 6 ], 119, 30, "smallelementsofidealofnumericalsemigroup", 
      "X7BDEBFCB7A1DAFC7" ], 
  [ "\033[2XBelongsToIdealOfNumericalSemigroup\033[0X", "7.1-7", [ 7, 1, 7 ], 
      141, 30, "belongstoidealofnumericalsemigroup", "X87508E7A7CFB0B20" ], 
  [ "\033[2XSumIdealsOfNumericalSemigroup\033[0X", "7.1-8", [ 7, 1, 8 ], 166, 
      31, "sumidealsofnumericalsemigroup", "X7B39610D7AD5A654" ], 
  [ "\033[2XMultipleOfIdealOfNumericalSemigroup\033[0X", "7.1-9", 
      [ 7, 1, 9 ], 193, 31, "multipleofidealofnumericalsemigroup", 
      "X857FE5C57EE98F5E" ], 
  [ "\033[2XSubtractIdealsOfNumericalSemigroup\033[0X", "7.1-10", 
      [ 7, 1, 10 ], 212, 31, "subtractidealsofnumericalsemigroup", 
      "X78743CE2845B5860" ], 
  [ "\033[2XDifferenceOfIdealsOfNumericalSemigroup\033[0X", "7.1-11", 
      [ 7, 1, 11 ], 240, 32, "differenceofidealsofnumericalsemigroup", 
      "X7C2DAB737ECE7D34" ], 
  [ "\033[2XTranslationOfIdealOfNumericalSemigroup\033[0X", "7.1-12", 
      [ 7, 1, 12 ], 263, 32, "translationofidealofnumericalsemigroup", 
      "X803921F97BEDCA88" ], 
  [ "\033[2XHilbertFunctionOfIdealOfNumericalSemigroup\033[0X", "7.1-13", 
      [ 7, 1, 13 ], 291, 33, "hilbertfunctionofidealofnumericalsemigroup", 
      "X82156F18807B00BF" ], 
  [ "\033[2XBlowUpIdealOfNumericalSemigroup\033[0X", "7.1-14", [ 7, 1, 14 ], 
      308, 33, "blowupidealofnumericalsemigroup", "X7C00A86F83024003" ], 
  [ "\033[2XReductionNumberIdealNumericalSemigroup\033[0X", "7.1-15", 
      [ 7, 1, 15 ], 325, 33, "reductionnumberidealnumericalsemigroup", 
      "X82C2BF5E840C815D" ], 
  [ "\033[2XMaximalIdealOfNumericalSemigroup\033[0X", "7.1-16", [ 7, 1, 16 ], 
      341, 34, "maximalidealofnumericalsemigroup", "X829EACA378BE3665" ], 
  [ "\033[2XBlowUpOfNumericalSemigroup\033[0X", "7.1-17", [ 7, 1, 17 ], 354, 
      34, "blowupofnumericalsemigroup", "X84B5121C7EEECB30" ], 
  [ "\033[2XMicroInvariantsOfNumericalSemigroup\033[0X", "7.1-18", 
      [ 7, 1, 18 ], 380, 34, "microinvariantsofnumericalsemigroup", 
      "X7B29CDA7783FC0D2" ], 
  [ "\033[2XIsGradedAssociatedRingNumericalSemigroupCM\033[0X", "7.1-19", 
      [ 7, 1, 19 ], 404, 35, "isgradedassociatedringnumericalsemigroupcm", 
      "X7876199778D6B320" ], 
  [ "\033[2XCanonicalIdealOfNumericalSemigroup\033[0X", "7.1-20", 
      [ 7, 1, 20 ], 439, 35, "canonicalidealofnumericalsemigroup", 
      "X835890A078F5D6DC" ], 
  [ "\033[2XIntersectionIdealsOfNumericalSemigroup\033[0X", "7.1-21", 
      [ 7, 1, 21 ], 462, 36, "intersectionidealsofnumericalsemigroup", 
      "X85CC100F78608D5E" ], 
  [ "\033[2XIsMonomialNumericalSemigroup\033[0X", "7.1-22", [ 7, 1, 22 ], 
      480, 36, "ismonomialnumericalsemigroup", "X7A04B8887F493733" ], 
  [ "\033[2XIsMEDNumericalSemigroup\033[0X", "8.1-1", [ 8, 1, 1 ], 24, 37, 
      "ismednumericalsemigroup", "X867615F8846824EB" ], 
  [ "\033[2XMEDNumericalSemigroupClosure\033[0X", "8.1-2", [ 8, 1, 2 ], 41, 
      38, "mednumericalsemigroupclosure", "X86C8358D8530106F" ], 
  [ "\033[2XMinimalMEDGeneratingSystemOfMEDNumericalSemigroup\033[0X", 
      "8.1-3", [ 8, 1, 3 ], 58, 38, 
      "minimalmedgeneratingsystemofmednumericalsemigroup", 
      "X848FD3FA7DB2DD4C" ], 
  [ "\033[2XIsArfNumericalSemigroup\033[0X", "8.2-1", [ 8, 2, 1 ], 87, 38, 
      "isarfnumericalsemigroup", "X8255C5907F8968B9" ], 
  [ "\033[2XArfNumericalSemigroupClosure\033[0X", "8.2-2", [ 8, 2, 2 ], 106, 
      39, "arfnumericalsemigroupclosure", "X7FE10E2F85CB01A2" ], 
  [ "\033[2XMinimalArfGeneratingSystemOfArfNumericalSemigroup\033[0X", 
      "8.2-3", [ 8, 2, 3 ], 123, 39, 
      "minimalarfgeneratingsystemofarfnumericalsemigroup", 
      "X7C0D2F7986165DDE" ], 
  [ "\033[2XFactorizationsElementWRTNumericalSemigroup\033[0X", "9.1-1", 
      [ 9, 1, 1 ], 34, 40, "factorizationselementwrtnumericalsemigroup", 
      "X78C6D3BF7C7C2760" ], 
  [ "\033[2XLengthsOfFactorizationsElementWRTNumericalSemigroup\033[0X", 
      "9.1-2", [ 9, 1, 2 ], 49, 41, 
      "lengthsoffactorizationselementwrtnumericalsemigroup", 
      "X7FDE4F94870951B1" ], 
  [ "\033[2XElasticityOfFactorizationsElementWRTNumericalSemigroup\033[0X", 
      "9.1-3", [ 9, 1, 3 ], 64, 41, 
      "elasticityoffactorizationselementwrtnumericalsemigroup", 
      "X85C2987C7827D18D" ], 
  [ "\033[2XElasticityOfNumericalSemigroup\033[0X", "9.1-4", [ 9, 1, 4 ], 79, 
      41, "elasticityofnumericalsemigroup", "X7FE2D6F77BE96716" ], 
  [ "\033[2XDeltaSetOfFactorizationsElementWRTNumericalSemigroup\033[0X", 
      "9.1-5", [ 9, 1, 5 ], 92, 41, 
      "deltasetoffactorizationselementwrtnumericalsemigroup", 
      "X8384DBFE7D82A634" ], 
  [ "\033[2XMaximumDegreeOfElementWRTNumericalSemigroup\033[0X", "9.1-6", 
      [ 9, 1, 6 ], 107, 42, "maximumdegreeofelementwrtnumericalsemigroup", 
      "X7E3ED34D78F3A8CA" ], 
  [ "\033[2XCatenaryDegreeOfNumericalSemigroup\033[0X", "9.1-7", [ 9, 1, 7 ], 
      122, 42, "catenarydegreeofnumericalsemigroup", "X7FAF204E85D9C21B" ], 
  [ "\033[2XCatenaryDegreeOfElementNS\033[0X", "9.1-8", [ 9, 1, 8 ], 135, 42, 
      "catenarydegreeofelementns", "X787334508257C510" ], 
  [ "\033[2XTameDegreeOfNumericalSemigroup\033[0X", "9.1-9", [ 9, 1, 9 ], 
      149, 42, "tamedegreeofnumericalsemigroup", "X860BDF5B85975B73" ], 
  [ "\033[2XBezoutSequence\033[0X", "a.1-1", [ "A", 1, 1 ], 17, 43, 
      "bezoutsequence", "X86859C84858ECAF1" ], 
  [ "\033[2XIsBezoutSequence\033[0X", "a.1-2", [ "A", 1, 2 ], 34, 43, 
      "isbezoutsequence", "X86C990AC7F40E8D0" ], 
  [ "\033[2XCeilingOfRational\033[0X", "a.1-3", [ "A", 1, 3 ], 49, 44, 
      "ceilingofrational", "X7C9DCBAF825CF7B2" ], 
  [ "\033[2XRepresentsPeriodicSubAdditiveFunction\033[0X", "a.2-1", 
      [ "A", 2, 1 ], 67, 44, "representsperiodicsubadditivefunction", 
      "X8466A4DC82F07579" ], 
  [ "\033[2XRandomNumericalSemigroup\033[0X", "b.1-1", [ "B", 1, 1 ], 10, 45, 
      "randomnumericalsemigroup", "X7CC477867B00AD13" ], 
  [ "\033[2XRandomListForNS\033[0X", "b.1-2", [ "B", 1, 2 ], 22, 45, 
      "randomlistforns", "X79E73F8787741190" ], 
  [ "\033[2XRandomModularNumericalSemigroup\033[0X", "b.1-3", [ "B", 1, 3 ], 
      34, 45, "randommodularnumericalsemigroup", "X82E22E9B843DF70F" ], 
  [ "\033[2XRandomProportionallyModularNumericalSemigroup\033[0X", "b.1-4", 
      [ "B", 1, 4 ], 45, 46, "randomproportionallymodularnumericalsemigroup", 
      "X8598F10A7CD4A135" ], 
  [ "\033[2XRandomListRepresentingSubAdditiveFunction\033[0X", "b.1-5", 
      [ "B", 1, 5 ], 56, 46, "randomlistrepresentingsubadditivefunction", 
      "X8665F6B08036AFFB" ], 
  [ "\033[2XXNumericalSemigroup\033[0X", "c.1-1", [ "C", 1, 1 ], 9, 47, 
      "xnumericalsemigroup", "X82616EED7F480035" ] ]
);
