Macaulay2 » Documentation
Packages » NumericalSemigroups :: genus(List)
next | previous | forward | backward | up | index | toc

genus(List) -- Compute the number of gaps (genus) of a semigroup

Synopsis

Description

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

See also

Ways to use this method: