Only check for overlaps in pairs that we haven't already checked - #13

Only check for overlaps in pairs that we haven't already checked#13

james-d-mitchell merged 6 commits into

james-d-mitchell:improve-knuth-bendix-2-squashjames-d-mitchell/libsemigroups:improve-knuth-bendix-2-squashfrom

Joseph-Edwards:improve-knuth-bendix-2-squashJoseph-Edwards/libsemigroups:improve-knuth-bendix-2-squashCopy head branch name to clipboard