summaryrefslogtreecommitdiff
path: root/test/unit/util/integer_black.h
diff options
context:
space:
mode:
authorTim King <taking@cs.nyu.edu>2012-12-14 21:04:41 -0500
committerTim King <taking@cs.nyu.edu>2012-12-14 21:04:41 -0500
commit7d0625db683e06cc55b8ffa2f56a8b26e6bb7427 (patch)
tree4cadfced31b340696a8800f18753072580c2e010 /test/unit/util/integer_black.h
parent52b4d02428cb002a612d3e286c68a556098e8104 (diff)
Adding unit test for different versions of division.
Diffstat (limited to 'test/unit/util/integer_black.h')
-rw-r--r--test/unit/util/integer_black.h75
1 files changed, 75 insertions, 0 deletions
diff --git a/test/unit/util/integer_black.h b/test/unit/util/integer_black.h
index d2f697637..2f9998066 100644
--- a/test/unit/util/integer_black.h
+++ b/test/unit/util/integer_black.h
@@ -387,4 +387,79 @@ public:
TS_ASSERT_EQUALS(Integer(i).length(), internalLength(i));
}
}
+
+ void testEuclideanDivision() {
+ Integer q, r;
+
+ Integer::euclidianQR(q, r, 1, 4);
+ TS_ASSERT_EQUALS( q, Integer(0));
+ TS_ASSERT_EQUALS( r, Integer(1));
+
+
+ Integer::euclidianQR(q, r, 1, -4);
+ TS_ASSERT_EQUALS( q, Integer(0));
+ TS_ASSERT_EQUALS( r, Integer(1));
+
+ Integer::euclidianQR(q, r, -1, 4);
+ TS_ASSERT_EQUALS( q, Integer(-1));
+ TS_ASSERT_EQUALS( r, Integer(3));
+
+ Integer::euclidianQR(q,r, -1, -4);
+ TS_ASSERT_EQUALS( q, Integer(1));
+ TS_ASSERT_EQUALS( r, Integer(3));
+
+ Integer::euclidianQR(q,r, 5, 4);
+ TS_ASSERT_EQUALS( q, Integer(1));
+ TS_ASSERT_EQUALS( r, Integer(1));
+
+ Integer::euclidianQR(q,r, 5, -4);
+ TS_ASSERT_EQUALS( q, Integer(-1));
+ TS_ASSERT_EQUALS( r, Integer(1));
+
+ Integer::euclidianQR(q,r, -5, 4);
+ TS_ASSERT_EQUALS( q, Integer(-2));
+ TS_ASSERT_EQUALS( r, Integer(3));
+
+ Integer::euclidianQR(q,r, -5, -4);
+ TS_ASSERT_EQUALS( q, Integer(2));
+ TS_ASSERT_EQUALS( r, Integer(3));
+
+ }
+ void testFloorDivision() {
+ Integer q, r;
+
+ Integer::floorQR(q, r, 1, 4);
+ TS_ASSERT_EQUALS( q, Integer(0));
+ TS_ASSERT_EQUALS( r, Integer(1));
+
+
+ Integer::floorQR(q, r, 1, -4);
+ TS_ASSERT_EQUALS( q, Integer(-1));
+ TS_ASSERT_EQUALS( r, Integer(-3));
+
+ Integer::floorQR(q, r, -1, 4);
+ TS_ASSERT_EQUALS( q, Integer(-1));
+ TS_ASSERT_EQUALS( r, Integer(3));
+
+ Integer::floorQR(q,r, -1, -4);
+ TS_ASSERT_EQUALS( q, Integer(0));
+ TS_ASSERT_EQUALS( r, Integer(-1));
+
+ Integer::floorQR(q,r, 5, 4);
+ TS_ASSERT_EQUALS( q, Integer(1));
+ TS_ASSERT_EQUALS( r, Integer(1));
+
+ Integer::floorQR(q,r, 5, -4);
+ TS_ASSERT_EQUALS( q, Integer(-2));
+ TS_ASSERT_EQUALS( r, Integer(-3));
+
+ Integer::floorQR(q,r, -5, 4);
+ TS_ASSERT_EQUALS( q, Integer(-2));
+ TS_ASSERT_EQUALS( r, Integer(3));
+
+ Integer::floorQR(q,r, -5, -4);
+ TS_ASSERT_EQUALS( q, Integer(1));
+ TS_ASSERT_EQUALS( r, Integer(-1));
+
+ }
};
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback