def test_size(self):
S = FpSemigroup("a", [["a", "aa"]])
self.assertEqual(S.size(), 1)
S = FpSemigroup("ab", [["a", "aa"], ["b", "bb"], ["ab", "ba"]])
self.assertEqual(S.size(), 3)
S = FpSemigroup("ab", [])
self.assertEqual(S.size(), float("inf"))
def test_size_str(self):
S = FpSemigroup(["a"], [["a", "aa"]])
self.assertEqual(S.size(), 1)
S = FpSemigroup(["a", "b"], [["a", "aa"], ["b", "bb"], ["ab", "ba"]])
self.assertEqual(S.size(), 3)