This notebook contains a set of functions developed in Mathematica for working with, visualizing, and creating examples of C-semigroups in N². To achieve this, we use the Normaliz package, an open-source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones. Normaliz also calculates algebraic polytopes, which are polytopes defined over real algebraic extensions of Q.
The files named aux1 are part of the Normaliz program. We have included the normaliz program for Linux and normaliz.exe for Windows that we used in this project.
This work is part of a final degree project completed at the University of Cádiz.
- Sánchez Loureiro, Adrián
- Vigneron Tenorio, Alberto
GPL-3.0
