NumericalSemigroups : Index

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