isSmoothableSemigroup -- Look for a smoothing family

Synopsis

• Usage:

  b=isSmoothableSemigroup(L,r,n)

• Inputs:
  • L, a list, the generators of a semigroup
  • r, a real number,
  • n, an integer, numbers which influences the truncation
• Optional inputs:
  • BaseField
  • Verbose => ..., default value false
• Outputs:
  • b, a Boolean value, true if a smoothing family was found, false no smoothing family was found

Description

i1 : L={6,8,9,11}

o1 = {6, 8, 9, 11}

o1 : List

i2 : genus L

o2 = 8

i3 : elapsedTime isSmoothableSemigroup(L,0.30,0)
 -- .540812s elapsed

o3 = false

i4 : elapsedTime isSmoothableSemigroup(L,0.14,0)
 -- 2.17048s elapsed

o4 = true

See also

• makeUnfolding -- Makes the universal homogeneous unfolding of an ideal with positive degree parameters
• flatteningRelations -- Compute the flattening relations of an unfolding
• getFlatFamily -- Compute the flat family depending on a subset of parameters of the universal unfolding
• isARandomFiberSmooth -- Test whether a random fiber is smooth