  
  [1X6 Irreducible numerical semigroups[0X
  
  
  [1X6.1 Irreducible numerical semigroups[0X
  
  An  irreducible  numerical semigroup is a semigroup that cannot be expressed
  as the intersection of numerical semigroups properly containing it.
  
  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
  semigroup having its same Frobenius number (see [RB03]). Hence, according to
  [FH87]  (respectively  [BF97]),  symmetric  (respectively  pseudo-symmetric)
  numerical  semigroups  are  those  irreducible numerical semigroups with odd
  (respectively even) Frobenius number.
  
  In  [GJ03] it is shown that a numerical semigroup is irreducible if and only
  if it has only one special gap. We use this characterization.
  
  In this section we show how to construct the set of all numerical semigroups
  with  a  given Frobenius number. First we construct an irreducible numerical
  semigroup  with  the  given  Frobenius number (as explained in [JCR04]), and
  then  we  construct  the  rest  from  it. That is why we have separated both
  functions.
  
  Every numerical semigroup can be expressed as an intersection of irreducible
  numerical  semigroups.  If S can be expressed as S=S_1cap cdotscap S_n, with
  S_i  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 [GJ03].
  
  [1X6.1-1 IsIrreducibleNumericalSemigroup[0m
  
  [2X> IsIrreducibleNumericalSemigroup( [0X[3Xs[0X[2X ) _____________________________[0Xfunction
  
  [3Xs[0m  is  a  numerical semigroup. The output is true if [3Xs[0m is irreducible, false
  otherwise.
  
  [4X---------------------------  Example  ----------------------------[0X
    [4Xgap> IsIrreducibleNumericalSemigroup(NumericalSemigroup(4,6,9));[0X
    [4Xtrue[0X
    [4Xgap> IsIrreducibleNumericalSemigroup(NumericalSemigroup(4,6,7,9));[0X
    [4Xfalse[0X
    [4X[0X
    [4X                        [0X
  [4X------------------------------------------------------------------[0X
  
  [1X6.1-2 IsSymmetricNumericalSemigroup[0m
  
  [2X> IsSymmetricNumericalSemigroup( [0X[3Xs[0X[2X ) _______________________________[0Xfunction
  
  [3Xs[0m  is  a  numerical  semigroup.  The output is true if [3Xs[0m is symmetric, false
  otherwise.
  
  [4X---------------------------  Example  ----------------------------[0X
    [4Xgap> IsSymmetricNumericalSemigroup(NumericalSemigroup(10,23));      [0X
    [4Xtrue            [0X
    [4Xgap> IsSymmetricNumericalSemigroup(NumericalSemigroup(10,11,23));[0X
    [4Xfalse[0X
    [4X[0X
    [4X                        [0X
  [4X------------------------------------------------------------------[0X
  
  [1X6.1-3 IsPseudoSymmetricNumericalSemigroup[0m
  
  [2X> IsPseudoSymmetricNumericalSemigroup( [0X[3Xs[0X[2X ) _________________________[0Xfunction
  
  [3Xs[0m  is  a  numerical  semigroup. The output is true if [3Xs[0m is pseudo-symmetric,
  false otherwise.
  
  [4X---------------------------  Example  ----------------------------[0X
    [4Xgap> IsPseudoSymmetricNumericalSemigroup(NumericalSemigroup(6,7,8,9,11));[0X
    [4Xtrue[0X
    [4Xgap> IsPseudoSymmetricNumericalSemigroup(NumericalSemigroup(4,6,9));[0X
    [4Xfalse[0X
    [4X[0X
    [4X                        [0X
  [4X------------------------------------------------------------------[0X
  
  [1X6.1-4 AnIrreducibleNumericalSemigroupWithFrobeniusNumber[0m
  
  [2X> AnIrreducibleNumericalSemigroupWithFrobeniusNumber( [0X[3Xf[0X[2X ) __________[0Xfunction
  
  [3Xf[0m  is  an  integer greater than or equal to -1. The output is an irreducible
  numerical  semigroup with frobenius number [3X f[0m. From the way the procedure is
  implemented,  the  resulting  semigroup  has  at  most  four generators (see
  [JCR04]).
  
  [4X---------------------------  Example  ----------------------------[0X
    [4Xgap> FrobeniusNumber(AnIrreducibleNumericalSemigroupWithFrobeniusNumber(28));[0X
    [4X28[0X
    [4X[0X
    [4X                        [0X
  [4X------------------------------------------------------------------[0X
  
  [1X6.1-5 IrreducibleNumericalSemigroupsWithFrobeniusNumber[0m
  
  [2X> IrreducibleNumericalSemigroupsWithFrobeniusNumber( [0X[3Xf[0X[2X ) ___________[0Xfunction
  
  [3Xf[0m  is  an  integer greater than or equal to -1. The output is the set of all
  irreducible numerical semigroups with frobenius number [3Xf[0m.
  
  [4X---------------------------  Example  ----------------------------[0X
    [4Xgap> Length(IrreducibleNumericalSemigroupsWithFrobeniusNumber(39));[0X
    [4X227[0X
    [4X[0X
    [4X                        [0X
  [4X------------------------------------------------------------------[0X
  
  [1X6.1-6 DecomposeIntoIrreducibles[0m
  
  [2X> DecomposeIntoIrreducibles( [0X[3Xs[0X[2X ) ___________________________________[0Xfunction
  
  [3Xs[0m  is  a  numerical  semigroup. The output is a set of irreducible numerical
  semigroups  containing  it. These elements appear in a minimal decomposition
  of [3Xs[0m as intersection into irreducibles.
  
  [4X---------------------------  Example  ----------------------------[0X
    [4Xgap> DecomposeIntoIrreducibles(NumericalSemigroup(5,6,8));[0X
    [4X[ <Numerical semigroup>, <Numerical semigroup> ][0X
    [4X[0X
    [4X                        [0X
  [4X------------------------------------------------------------------[0X
  
