g = genus L
The gaps S is the list of the finitely many positive integers not in S
i1 : genus {4,7} o1 = 9
i2 : G = gaps {4,7} o2 = {1, 2, 3, 5, 6, 9, 10, 13, 17} o2 : List
i3 : #G o3 = 9
i4 : S = semigroup{4,7} o4 = {0, 4, 7, 8, 11, 12, 14, 15, 16, 18, 19, 20, 21} o4 : List
i5 : set G + set S == set(0..21) o5 = true