Fix relational::compare_same_type.

[ginac.git] / check / exam_relational.cpp

diff --git a/check/exam_relational.cpp b/check/exam_relational.cpp
index 3b652b05ac09c8e34c011d8c54c484c02a840b3d..aeff144bfbf5046158bf0a00be25bff107a04ad1 100644 (file)
--- a/check/exam_relational.cpp
+++ b/check/exam_relational.cpp
@@ -116,6 +116,21 @@ static unsigned exam_relational_arith()
        return result;
 }
 
+// Comparisons should maintain ordering invariants
+static unsigned exam_relational_order()
+{
+       unsigned result = 0;
+       numeric i = 1ll<<32, j = i+1;
+       symbol a;
+       relational x = i==a, y = j==a;
+       if (x.compare(y) != -y.compare(x)) {
+               clog << "comparison should be antisymmetric." << endl;
+               result += 1;
+       }
+
+       return result;
+}
+
 unsigned exam_relational()
 {
        unsigned result = 0;
@@ -125,6 +140,7 @@ unsigned exam_relational()
        result += exam_relational_elementary(); cout << '.' << flush;
        result += exam_relational_possymbol(); cout << '.' << flush;
        result += exam_relational_arith(); cout << '.' << flush;
+       result += exam_relational_order(); cout << '.' << flush;
 
        return result;
 }