public void Test_is_symmetric() { var binaryRelation = new Set<Tuple<int, int>> { new Tuple<int, int>(1, 1), new Tuple<int, int>(1, 2) }; binaryRelation.IsSymmetric().ShouldBeFalse(); binaryRelation.Add(new Tuple<int, int>(2, 1)); binaryRelation.IsSymmetric().ShouldBeTrue(); binaryRelation.IsEquivalenceRelation().ShouldBeFalse(); }
public void Test_is_equivalence_relation() { var binaryRelation = new Set<Tuple<int, int>> { new Tuple<int, int>(1, 2), new Tuple<int, int>(2, 3), new Tuple<int, int>(1, 3), new Tuple<int, int>(4, 4), new Tuple<int, int>(2, 1), new Tuple<int, int>(3, 2), new Tuple<int, int>(3, 1), new Tuple<int, int>(2, 2), new Tuple<int, int>(3, 3), new Tuple<int, int>(1, 1) }; binaryRelation.IsEquivalenceRelation().ShouldBeTrue(); }
public void Test_is_transitive_false() { var binaryRelation = new Set<Tuple<int, int>> { new Tuple<int, int>(1, 2), new Tuple<int, int>(2, 3), new Tuple<int, int>(1, 3) }; binaryRelation.IsTransitive().ShouldBeTrue(); binaryRelation.IsEquivalenceRelation().ShouldBeFalse(); }