NumericalSgps.xml

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

<!DOCTYPE Book SYSTEM "gapdoc.dtd">

<Book Name="NumericalSgps">

<TitlePage>
  <Title><Package>numericalsgps</Package>-- a package for numerical semigroups</Title>
  <Version> Version <#Include SYSTEM "../version">
  </Version>
  <Author> Manuel Delgado
    <Email>[email protected]</Email>
    <Homepage>http://www.fc.up.pt/cmup/mdelgado</Homepage>
  </Author>
  <Author> Pedro A. García-Sánchez
    <Email>[email protected]</Email>
    <Homepage>http://www.ugr.es/~pedro</Homepage>
  </Author>
  <Author> José João Morais
 <!--   <Email>[email protected]</Email> -->
  </Author>
  <Copyright> &copyright; 2005--2015 Centro de Matemática da Universidade do Porto, Portugal and Universidad de Granada, Spain<P/>
          <!--    We adopt the copyright regulations of &GAP; as detailed in the
              copyright notice in the &GAP; manual. -->
 <E>Numericalsgps</E> is free software; you can redistribute it and/or modify it under the terms of the
<URL Text="GNU  General Public License">http://www.fsf.org/licenses/gpl.html</URL> as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
</Copyright>


<Acknowledgements>

The first author's work was (partially) supported by the <E>Centro de Matemática da Universidade do
Porto</E> (CMUP), financed by FCT (Portugal) through the programs POCTI
(Programa Operacional "Ciência, Tecnologia, Inovação") and POSI (Programa
Operacional Sociedade da Informação), with national and European Community
structural funds and a sabbatical grant of FCT.
<P/>
The second author was supported by the projects MTM2004-01446, MTM2007-62346 and MTM2010-15595, the Junta de Andalucía group FQM-343, and FEDER founds.
<P/>
The third author acknowledges financial support of FCT and the POCTI program
through a scholarship given by <E>Centro de Matemática da Universidade do Porto</E>.
<P/>
The authors wish to thank J. I. García-García and Alfredo Sánchez-R. Navarro for many helpful discussions and for helping in the programming of preliminary versions of some functions, and also to C. O'Neill, A. Sammartano, I. Ojeda, C. M. Moreno Ávila, A. Herrera-Poyatos and K. Stokes for their
contributions (see Contributions Chapter). We are also in debt with S. Gutsche, M. Horn, H. Schönemann, C. Söeger and M. Barakat for their fruitful advices concerning 4ti2Interface, SingularInterface, Singular, Normaliz, NormalizInterface and GradedModules.
<P/>
The first and second authors warmly thank María Burgos for her support and help.
<P/>
<P/>
<B>Concerning the mantainment:</B>
<P/>
<P/>
The first author was (partially) supported by the FCT project PTDC/MAT/65481/2006 and also by the
<E>Centro de Matemática da Universidade do
Porto</E> (CMUP), funded by the European Regional Development Fund through the programme COMPETE and by the Portuguese Government through the FCT - Fundação para a Ciência e a Tecnologia under the project PEst-C/MAT/UI0144/2011.
<P/>
The second author was/is supported by the project MTM2014-55367-P, which is funded
by Ministerio de Economía y Competitividad and the Fondo Europeo de Desarrollo Regional FEDER.
<P/> Both maintainers want to acknowledge partial support by CMUP (UID/MAT/00144/2013), which is funded by FCT (Portugal) with national (MEC) and European structural funds through the programs FEDER, under the partnership agreement PT2020.
<P/> Both maintainers are also supported by the project MTM2014-55367-P, which is funded by Ministerio de Economía y Competitividad and Fondo Europeo de Desarrollo Regional FEDER.
<P/> The maintainers want to thank the organizers of <C>GAPDays</C> in their several editions.
<P/> The authors also thank the Centro de Servicios de Informática y Redes de Comunicaciones (CSIRC), Universidad de Granada, for providing the computing time, specially Rafael Arco Arredondo for installing everything this package and the extra software needed in alhambra.ugr.es.
</Acknowledgements>

<Colophon>
This work started when (in 2004) the first author visited the University of Granada in part of a sabbatical year.

Since Version 0.96 (released in 2008), the package is maintained by the first two authors.

Bug reports, suggestions and comments are, of course, welcome. Please use our
email addresses to this effect.
<P/>

If you have benefited from the use of the numerigalsgps GAP package in your research, please cite it in addition to GAP itself, following the scheme proposed in
<URL>http://www.gap-system.org/Contacts/cite.html</URL>.
<P/>

If you have predominantly used the functions in the Appendix, contributed by other authors, please cite in addition these authors, referring "software implementations available in the GAP package NumericalSgps".
</Colophon>

</TitlePage>

<TableOfContents/>

<Body>

<#Include SYSTEM "introduction.xml">

<Chapter>
            <Heading>
                Numerical Semigroups
            </Heading>
            This chapter describes how to create numerical semigroups in &GAP;
            and perform some basic tests.

<#Include SYSTEM "Generating_Numerical_Semigroups.xml">
<#Include SYSTEM "Some_basic_tests.xml">

</Chapter>


        <Chapter>
            <Heading>
                Basic operations with numerical semigroups
            </Heading>

<#Include SYSTEM "The_definitions.xml">
<#Include SYSTEM "Wilf.xml">

</Chapter>

<Chapter>
            <Heading>
                Presentations of Numerical Semigroups
            </Heading>
            In this chapter we explain how to compute a minimal presentation of a numerical
            semigroup. There are three functions involved in this process.

<#Include SYSTEM "Presentations_of_Numerical_Semigroups.xml">

</Chapter>


        <Chapter>
            <Heading>
                Constructing numerical semigroups from others
            </Heading>

<#Include SYSTEM "Adding_and_removing_elements_of_a_numerical_semigroup.xml">
<#Include SYSTEM "Operations_Numerical_Semigroups.xml">
<#Include SYSTEM "Constructing_sets_of_numerical_semigroups.xml">

</Chapter>


        <Chapter>
            <Heading>
                Irreducible numerical semigroups
            </Heading>

<#Include SYSTEM "Irreducible_numerical_semigroups.xml">
<#Include SYSTEM "Complete_Intersections.xml">
<#Include SYSTEM "Almost_symmetric.xml">
</Chapter>


        <Chapter>
            <Heading>
                Ideals of numerical semigroups
            </Heading>

<#Include SYSTEM "Ideals_of_numerical_semigroups.xml">

</Chapter>


        <Chapter>
            <Heading>
                Numerical semigroups with maximal embedding dimension
            </Heading>

<#Include SYSTEM "Numerical_semigroups_with_maximal_embedding_dimension.xml">
</Chapter>


<Chapter>
	<Heading>
		Nonunique invariants for factorizations in numerical semigroups
	</Heading>

	<#Include SYSTEM "catenary-tame.xml">

</Chapter>

<Chapter>
	<Heading>
		Polynomials and numerical semigroups
	</Heading>

	<#Include SYSTEM "polynomial.xml">

</Chapter>

<Chapter>
	<Heading>
		Affine semigroups
	</Heading>

	<#Include SYSTEM "affine.xml">

</Chapter>

<Chapter>
	<Heading>
		Good semigroups
	</Heading>

	<#Include SYSTEM "good-semigroups.xml">

</Chapter>

<Chapter>
	<Heading>
		External packages
	</Heading>

	<#Include SYSTEM "external-packages.xml">

</Chapter>


</Body>

<#Include SYSTEM "generalstuff.xml">

<#Include SYSTEM "random.xml">

<#Include SYSTEM "contributions.xml">

<Bibliography Databases="NumericalSgps" />

<TheIndex/>

</Book>

<!-- ==================================================================== -->