diff options
author | Tim King <taking@cs.nyu.edu> | 2012-12-14 21:04:41 -0500 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-12-14 21:04:41 -0500 |
commit | 7d0625db683e06cc55b8ffa2f56a8b26e6bb7427 (patch) | |
tree | 4cadfced31b340696a8800f18753072580c2e010 /test/unit | |
parent | 52b4d02428cb002a612d3e286c68a556098e8104 (diff) |
Adding unit test for different versions of division.
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/util/integer_black.h | 75 |
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)); + + } }; |