mirror of
https://github.com/python/cpython.git
synced 2025-07-29 14:15:07 +00:00
6b46762974
Unlike Scheme where exactness is implemented as taints, the Python implementation associated exactness with data types. This created inheritance issues (making an exact subclass of floats would result in the subclass having both an explicit Exact registration and an inherited Inexact registration). This was a problem for the decimal module which was designed to span both exact and inexact arithmetic. There was also a question of use cases and no examples were found where ABCs for exactness could be used to improve code. One other issue was having separate tags for both the affirmative and negative cases. This is at odds with the approach taken elsewhere in the Python (i.e. we don't have an ABC both Hashable and Unhashable).
54 lines
1.7 KiB
Python
54 lines
1.7 KiB
Python
"""Unit tests for numbers.py."""
|
|
|
|
import math
|
|
import operator
|
|
import unittest
|
|
from numbers import Complex, Real, Rational, Integral
|
|
from numbers import Number
|
|
from test import test_support
|
|
|
|
class TestNumbers(unittest.TestCase):
|
|
def test_int(self):
|
|
self.failUnless(issubclass(int, Integral))
|
|
self.failUnless(issubclass(int, Complex))
|
|
|
|
self.assertEqual(7, int(7).real)
|
|
self.assertEqual(0, int(7).imag)
|
|
self.assertEqual(7, int(7).conjugate())
|
|
self.assertEqual(7, int(7).numerator)
|
|
self.assertEqual(1, int(7).denominator)
|
|
|
|
def test_long(self):
|
|
self.failUnless(issubclass(long, Integral))
|
|
self.failUnless(issubclass(long, Complex))
|
|
|
|
self.assertEqual(7, long(7).real)
|
|
self.assertEqual(0, long(7).imag)
|
|
self.assertEqual(7, long(7).conjugate())
|
|
self.assertEqual(7, long(7).numerator)
|
|
self.assertEqual(1, long(7).denominator)
|
|
|
|
def test_float(self):
|
|
self.failIf(issubclass(float, Rational))
|
|
self.failUnless(issubclass(float, Real))
|
|
|
|
self.assertEqual(7.3, float(7.3).real)
|
|
self.assertEqual(0, float(7.3).imag)
|
|
self.assertEqual(7.3, float(7.3).conjugate())
|
|
|
|
def test_complex(self):
|
|
self.failIf(issubclass(complex, Real))
|
|
self.failUnless(issubclass(complex, Complex))
|
|
|
|
c1, c2 = complex(3, 2), complex(4,1)
|
|
# XXX: This is not ideal, but see the comment in math_trunc().
|
|
self.assertRaises(AttributeError, math.trunc, c1)
|
|
self.assertRaises(TypeError, float, c1)
|
|
self.assertRaises(TypeError, int, c1)
|
|
|
|
def test_main():
|
|
test_support.run_unittest(TestNumbers)
|
|
|
|
|
|
if __name__ == "__main__":
|
|
unittest.main()
|