NumericalSemigroups : Table of Contents

• NumericalSemigroups -- Compute invariants of a numerical semigroup
• allSemigroups -- Compute the Hilbert basis and module generators of a cone of semigroups
• apery -- Compute the apery set, multiplicity and conductor
• aperySemigroupRing -- computes the semigroup ring using both the multiplicity and the full Apery set
• aperySet -- Compute the apery set of a numerical semigroup
• buchweitz -- An example of a semigroup that is not a Weierstrass semigroup
• buchweitzCriterion -- Does L satisfies the Buchweitz criterion?
• buchweitzSemigroups -- Finds semigroups that are not Weierstrass semigroups by the Buchweitz test
• burchIndex -- Compute the burchIndex of the Burch ring of a semigroup
• conductor(List) -- conductor of a semigroup
• coneEquations -- Find the equations of the Kunz cones
• coneRays -- All the rays of the (homogeneous) Kunz cone
• def1 -- degrees of a basis of T^1
• ewt -- Effective weight of a semigroup (Pflueger)
• facetRays -- computes the rays spanning the face in which a semigroup lies
• findPoint -- Find a kk-rational point in a variety
• findSemigroups -- Find all semigroups with a given number of gaps, multiplicity and/or conductor
• flatteningRelations -- Compute the flattening relations of an unfolding
• fractionalIdeal -- turn a fractional ideal into a proper ideal
• gaps -- The gap sequence of a semigroup
• genus(List) -- Compute the number of gaps (genus) of a semigroup
• getFlatFamily -- Compute the flat family depending on a subset of parameters of the universal unfolding
• heuristicSmoothness -- Check whether an affine curve is smooth
• isARandomFiberSmooth -- Test whether a random fiber is smooth
• isGapSequence -- test whether a list of integers can be the list of gaps of a semigroup
• isSmoothableSemigroup -- Look for a smoothing family
• isSymmetric -- test whether the semigroup generated by L is symmetric
• isWeierstrassSemigroup -- Experimentally decide whether L is a Weierstrass semigroup
• knownExample -- Is L a known Weierstrass semigroup?
• kunzMatrix -- determine the set of facet equations satisfied by a semigroup
• kunzRing -- artinian reduction of a semigroup ring
• LabBookProtocol -- Weierstrass Semigroups in Low genus
• makeUnfolding -- Makes the universal homogeneous unfolding of an ideal with positive degree parameters
• mingens(List) -- Find a mininmal set of semigroup generators
• mu -- Compute the point representing a semigroup in the Kunz cone
• nonWeierstrassSemigroups -- Find possibly non Weierstrass Semigroups
• semigroup -- Compute the semigroup generated by a list of positive integers
• semigroupIdeal -- The ideal defining the semigroup ring
• semigroupRing -- forms the semigroup ring over "BaseField"
• socle -- elements of the semigroup that are in the socle mod the multiplicity
• sums -- sum of two sequences
• type -- type of the local semigroup ring
• weight -- weight of a semigroup