mingens(List) -- Find a minimal set of semigroup generators

• Function: mingens

• Usage:

  L' = mingens L

• Inputs:
  • L, a list, generators of a semigroup
• Optional inputs:
  • Strategy => ..., default value null,
• Outputs:
  • L', a list, minimal generators of the same semigroup

i1 : L = semigroup {3,7}

o1 = {0, 3, 6, 7, 9, 10, 12, 13, 14}

o1 : List

i2 : mingens L

o2 = {3, 7}

o2 : List