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();
}
