-- -*- M2-comint -*- hash: 10543083443670688530

i1 : LabBookProtocol 7

    LL7=findSemigroups 7;#LL7
    LL7a=select(LL7,L->not knownExample L);#LL7a
    elapsedTime LL7b=select(LL7a,L->not isSmoothableSemigroup(L,0.25,0))
    LL7b=={} -- => every genus 7 semigroup is Weierstrass
    

i2 : LL7=findSemigroups 7;#LL7

o3 = 39

i4 : LL7a=select(LL7,L->not knownExample L);#LL7a

o5 = 2

i6 : elapsedTime LL7b=select(LL7a,L->not isSmoothableSemigroup(L,0.25,0,Verbose=>true))
unfolding
 -- .146579s elapsed
flatteningRelations
 -- .121793s elapsed
next gb
 -- .00071196s elapsed
true
unfolding
 -- .135794s elapsed
flatteningRelations
 -- .130337s elapsed
next gb
 -- .000471038s elapsed
true
 -- 1.42553s elapsed

o6 = {}

o6 : List

i7 : elapsedTime LL7b=select(LL7a,L->not isSmoothableSemigroup(L,0.25,0))
 -- 1.35375s elapsed

o7 = {}

o7 : List

i8 : LL7b=={}

o8 = true

i9 : LabBookProtocol 11

    LL11=findSemigroups 11;#LL11
    LL11a=select(LL11,L->not knownExample L);#LL11a
    last LL11a, last LL11 -- shows that all examples of genus 11 not covered by Plueger have multiplicity <= 10.

    elapsedTime nonWeierstrassSemigroups(5,11) -- 117.422 seconds elapsed - 
    LLdifficult={{6, 8, 17, 19, 21},{6, 8, 10, 19, 21, 23},{6, 9, 11, 14}}
    elapsedTime nonWeierstrassSemigroups(6,11,LLdifficult,Verbose=>true)   -- 267.818 seconds elapsed
    --(6, 11,  all but difficult semigroups are smoothable)
    elapsedTime LL611=select(LLdifficult,L->(<<L<<endl<<flush;elapsedTime not isWeierstrassSemigroup(L,0.4,Verbose=>true)));   -- 197.l321 seconds elapsed 

    elapsedTime nonWeierstrassSemigroups(7,11, LLdifficult, Verbose => true) --257 sec
    LLdifficult={{8, 9, 11, 15, 21}}
    elapsedTime nonWeierstrassSemigroups(8,11, LLdifficult, Verbose => true)
    LLdifficult={}
    elapsedTime nonWeierstrassSemigroups(9,11, LLdifficult, Verbose => true)
    LLdifficult={}
    elapsedTime nonWeierstrassSemigroups(10,11, LLdifficult, Verbose => true)
    

i10 : m=5,g=8

o10 = (5, 8)

o10 : Sequence

i11 : elapsedTime nonWeierstrassSemigroups(m,g,Verbose=>true)
(13, 1)
{5, 8, 11, 12}
unfolding
 -- .190172s elapsed
flatteningRelations
 -- .151483s elapsed
next gb
 -- .000800922s elapsed
true
 -- .597641s elapsed
(5, 8,  all semigroups are smoothable)
 -- .626235s elapsed

o11 = {}

o11 : List

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

o12 = {6, 8, 9, 11}

o12 : List

i13 : genus L

o13 = 8

i14 : isWeierstrassSemigroup(L,0.2,Verbose=>true)
 -- .080474s elapsed
6
false
5
false
4
decompose
 -- .312206s elapsed
number of components: 2
support c, codim c: {(1, 1), (16, 3)}
{0, -1}

o14 = true

i15 : 
