def _test_undef(cc): self.assertIs(cc.get_left_set(), Undef()) self.assertIs(is_functional(cc), Undef()) self.assertIs(cc.get_right_set(), Undef()) self.assertIs(is_right_functional(cc), Undef()) self.assertIs(is_bijective(cc), Undef()) self.assertIs(is_transitive(cc), Undef()) self.assertIs(is_equivalence_relation(cc), Undef())
def test_properties(self): a = ba['2'] self.assertIs(a.get_left_set(), Undef()) self.assertIs(is_functional(a), Undef()) self.assertIs(a.get_right_set(), Undef()) self.assertIs(is_right_functional(a), Undef()) self.assertIs(is_bijective(a), Undef()) self.assertIs(is_reflexive(a), Undef()) self.assertIs(is_symmetric(a), Undef()) self.assertIs(is_transitive(a), Undef()) self.assertIs(is_equivalence_relation(a), Undef())
def test_transitive(self): self.assertTrue(is_transitive(Set())) self.assertTrue(is_transitive(Set())) self.assertTrue(is_transitive(Set([Couplet(s, c) for c, s in zip('aba', 'bcc')]))) self.assertIs(is_transitive(Set('a', 'b', 'c')), Undef()) rel = Set(Couplet(s, c) for c, s in zip('aba', 'bcd')) self.assertFalse(is_transitive(rel)) self.assertEqual(rel.cached_transitive, CacheStatus.IS_NOT) f = is_transitive(basic_sets['left func']) self.assertTrue(f) f = is_transitive(basic_sets['not left func']) self.assertTrue(f) f = is_transitive(basic_sets['diagonal']) self.assertTrue(f) f = is_transitive(basic_clans['not left func']) self.assertTrue(f) f = is_transitive(basic_clans['diagonal']) self.assertTrue(f) f = is_transitive(basic_hordes['not left func']) self.assertTrue(f) f = is_transitive(basic_hordes['diagonal']) self.assertTrue(f) s = basic_sets['left func'] self.assertEqual(s.cached_transitive, CacheStatus.IS)
def test_transitive(self): self.assertTrue(is_transitive(Set())) self.assertTrue(is_transitive(Set())) self.assertTrue(is_transitive(Set([Couplet(s, c) for c, s in zip("aba", "bcc")]))) self.assertIs(is_transitive(Set("a", "b", "c")), Undef()) rel = Set(Couplet(s, c) for c, s in zip("aba", "bcd")) self.assertFalse(is_transitive(rel)) self.assertEqual(rel.cached_transitive, CacheStatus.IS_NOT) f = is_transitive(basic_sets["left func"]) self.assertTrue(f) f = is_transitive(basic_sets["not left func"]) self.assertTrue(f) f = is_transitive(basic_sets["diagonal"]) self.assertTrue(f) f = is_transitive(basic_clans["not left func"]) self.assertTrue(f) f = is_transitive(basic_clans["diagonal"]) self.assertTrue(f) f = is_transitive(basic_hordes["not left func"]) self.assertTrue(f) f = is_transitive(basic_hordes["diagonal"]) self.assertTrue(f) s = basic_sets["left func"] self.assertEqual(s.cached_transitive, CacheStatus.IS)