c = conductor LSemigroups in this package are additively closed cofinite subsets of ZZ_{>= 0}. The conductor is the smallest element c such that c+i is in the semigroup for all i >= 0. For a semigroup generated by two elements a,b, the conductor is (a-1)(b-1), but for semigroups with more generators there is no known formula.
|
|
The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/NumericalSemigroups.m2:2138:0.