Abstract: | New precedence results are obtained for semigroups with zero, which describe the first non-zero row in detail and provide effective comparisons with subsequent rows. These results are used to further sharpen existing algorithms for the computation of finite commutative semigroups, confirm the number of distinct commutative semigroups of order 9, and determine the number of distinct commutative semigroups of order 10. |