diff options
Diffstat (limited to 'Lib/test/test_numeric_tower.py')
-rw-r--r-- | Lib/test/test_numeric_tower.py | 202 |
1 files changed, 0 insertions, 202 deletions
diff --git a/Lib/test/test_numeric_tower.py b/Lib/test/test_numeric_tower.py deleted file mode 100644 index c54dedb..0000000 --- a/Lib/test/test_numeric_tower.py +++ /dev/null @@ -1,202 +0,0 @@ -# test interactions between int, float, Decimal and Fraction - -import unittest -import random -import math -import sys -import operator - -from decimal import Decimal as D -from fractions import Fraction as F - -# Constants related to the hash implementation; hash(x) is based -# on the reduction of x modulo the prime _PyHASH_MODULUS. -_PyHASH_MODULUS = sys.hash_info.modulus -_PyHASH_INF = sys.hash_info.inf - -class HashTest(unittest.TestCase): - def check_equal_hash(self, x, y): - # check both that x and y are equal and that their hashes are equal - self.assertEqual(hash(x), hash(y), - "got different hashes for {!r} and {!r}".format(x, y)) - self.assertEqual(x, y) - - def test_bools(self): - self.check_equal_hash(False, 0) - self.check_equal_hash(True, 1) - - def test_integers(self): - # check that equal values hash equal - - # exact integers - for i in range(-1000, 1000): - self.check_equal_hash(i, float(i)) - self.check_equal_hash(i, D(i)) - self.check_equal_hash(i, F(i)) - - # the current hash is based on reduction modulo 2**n-1 for some - # n, so pay special attention to numbers of the form 2**n and 2**n-1. - for i in range(100): - n = 2**i - 1 - if n == int(float(n)): - self.check_equal_hash(n, float(n)) - self.check_equal_hash(-n, -float(n)) - self.check_equal_hash(n, D(n)) - self.check_equal_hash(n, F(n)) - self.check_equal_hash(-n, D(-n)) - self.check_equal_hash(-n, F(-n)) - - n = 2**i - self.check_equal_hash(n, float(n)) - self.check_equal_hash(-n, -float(n)) - self.check_equal_hash(n, D(n)) - self.check_equal_hash(n, F(n)) - self.check_equal_hash(-n, D(-n)) - self.check_equal_hash(-n, F(-n)) - - # random values of various sizes - for _ in range(1000): - e = random.randrange(300) - n = random.randrange(-10**e, 10**e) - self.check_equal_hash(n, D(n)) - self.check_equal_hash(n, F(n)) - if n == int(float(n)): - self.check_equal_hash(n, float(n)) - - def test_binary_floats(self): - # check that floats hash equal to corresponding Fractions and Decimals - - # floats that are distinct but numerically equal should hash the same - self.check_equal_hash(0.0, -0.0) - - # zeros - self.check_equal_hash(0.0, D(0)) - self.check_equal_hash(-0.0, D(0)) - self.check_equal_hash(-0.0, D('-0.0')) - self.check_equal_hash(0.0, F(0)) - - # infinities and nans - self.check_equal_hash(float('inf'), D('inf')) - self.check_equal_hash(float('-inf'), D('-inf')) - - for _ in range(1000): - x = random.random() * math.exp(random.random()*200.0 - 100.0) - self.check_equal_hash(x, D.from_float(x)) - self.check_equal_hash(x, F.from_float(x)) - - def test_complex(self): - # complex numbers with zero imaginary part should hash equal to - # the corresponding float - - test_values = [0.0, -0.0, 1.0, -1.0, 0.40625, -5136.5, - float('inf'), float('-inf')] - - for zero in -0.0, 0.0: - for value in test_values: - self.check_equal_hash(value, complex(value, zero)) - - def test_decimals(self): - # check that Decimal instances that have different representations - # but equal values give the same hash - zeros = ['0', '-0', '0.0', '-0.0e10', '000e-10'] - for zero in zeros: - self.check_equal_hash(D(zero), D(0)) - - self.check_equal_hash(D('1.00'), D(1)) - self.check_equal_hash(D('1.00000'), D(1)) - self.check_equal_hash(D('-1.00'), D(-1)) - self.check_equal_hash(D('-1.00000'), D(-1)) - self.check_equal_hash(D('123e2'), D(12300)) - self.check_equal_hash(D('1230e1'), D(12300)) - self.check_equal_hash(D('12300'), D(12300)) - self.check_equal_hash(D('12300.0'), D(12300)) - self.check_equal_hash(D('12300.00'), D(12300)) - self.check_equal_hash(D('12300.000'), D(12300)) - - def test_fractions(self): - # check special case for fractions where either the numerator - # or the denominator is a multiple of _PyHASH_MODULUS - self.assertEqual(hash(F(1, _PyHASH_MODULUS)), _PyHASH_INF) - self.assertEqual(hash(F(-1, 3*_PyHASH_MODULUS)), -_PyHASH_INF) - self.assertEqual(hash(F(7*_PyHASH_MODULUS, 1)), 0) - self.assertEqual(hash(F(-_PyHASH_MODULUS, 1)), 0) - - def test_hash_normalization(self): - # Test for a bug encountered while changing long_hash. - # - # Given objects x and y, it should be possible for y's - # __hash__ method to return hash(x) in order to ensure that - # hash(x) == hash(y). But hash(x) is not exactly equal to the - # result of x.__hash__(): there's some internal normalization - # to make sure that the result fits in a C long, and is not - # equal to the invalid hash value -1. This internal - # normalization must therefore not change the result of - # hash(x) for any x. - - class HalibutProxy: - def __hash__(self): - return hash('halibut') - def __eq__(self, other): - return other == 'halibut' - - x = {'halibut', HalibutProxy()} - self.assertEqual(len(x), 1) - -class ComparisonTest(unittest.TestCase): - def test_mixed_comparisons(self): - - # ordered list of distinct test values of various types: - # int, float, Fraction, Decimal - test_values = [ - float('-inf'), - D('-1e425000000'), - -1e308, - F(-22, 7), - -3.14, - -2, - 0.0, - 1e-320, - True, - F('1.2'), - D('1.3'), - float('1.4'), - F(275807, 195025), - D('1.414213562373095048801688724'), - F(114243, 80782), - F(473596569, 84615), - 7e200, - D('infinity'), - ] - for i, first in enumerate(test_values): - for second in test_values[i+1:]: - self.assertLess(first, second) - self.assertLessEqual(first, second) - self.assertGreater(second, first) - self.assertGreaterEqual(second, first) - - def test_complex(self): - # comparisons with complex are special: equality and inequality - # comparisons should always succeed, but order comparisons should - # raise TypeError. - z = 1.0 + 0j - w = -3.14 + 2.7j - - for v in 1, 1.0, F(1), D(1), complex(1): - self.assertEqual(z, v) - self.assertEqual(v, z) - - for v in 2, 2.0, F(2), D(2), complex(2): - self.assertNotEqual(z, v) - self.assertNotEqual(v, z) - self.assertNotEqual(w, v) - self.assertNotEqual(v, w) - - for v in (1, 1.0, F(1), D(1), complex(1), - 2, 2.0, F(2), D(2), complex(2), w): - for op in operator.le, operator.lt, operator.ge, operator.gt: - self.assertRaises(TypeError, op, z, v) - self.assertRaises(TypeError, op, v, z) - - -if __name__ == '__main__': - unittest.main() |