collectByBound -- Collect 1-parameter families filtered by bound (or congruences or range)

• Usage:

  collectByBound(LL,b,done,doneData)

  collectByRange(LL,b,range,doneData)

  collectByCongruences(LL,b,congruences,doneData)

• Inputs:
  • LL, a list, list of semigroups
  • bound, an integer, degree bound
  • done, a string, name of a file of done examples
  • doneData, a string, name of the dataFile with name doneData.dbm
• Optional inputs:
  • CoeffSize => ..., default value 1
  • Verbose => ..., default value 0

i1 : LL=(toDoList 8)_{0..2}

o1 = {{6, 7, 9, 17}, {6, 7, 8, 17}, {6, 8, 9, 11}}

o1 : List

i2 : X="fam8"

o2 = fam8

i3 : Xdbm="fam8.dbm"

o3 = fam8.dbm

i4 : "collectByBound(LL,6,X,Xdbm)";

i5 : range=toList(6..8)

o5 = {6, 7, 8}

o5 : List

i6 : LL=(toDoList 8)_{4,5}

o6 = {{6, 8, 10, 11, 13}, {7, 8, 9, 10, 13}}

o6 : List

i7 : "collectByRange(LL,range,X,Xdbm)";