Tim Peters | 419670d | 2001-09-06 22:07:50 +0000 | [diff] [blame^] | 1 | from test_support import TestFailed, fcmp |
Tim Peters | 0f33604 | 2001-03-18 08:21:57 +0000 | [diff] [blame] | 2 | from random import random |
| 3 | |
| 4 | # XXX need many, many more tests here. |
| 5 | |
| 6 | nerrors = 0 |
| 7 | |
Tim Peters | 419670d | 2001-09-06 22:07:50 +0000 | [diff] [blame^] | 8 | def check_close(x, y): |
Tim Peters | 0f33604 | 2001-03-18 08:21:57 +0000 | [diff] [blame] | 9 | """Return true iff complexes x and y "are close\"""" |
Tim Peters | 419670d | 2001-09-06 22:07:50 +0000 | [diff] [blame^] | 10 | return fcmp(x.real, y.real) == 0 == fcmp(x.imag, y.imag) |
Tim Peters | 0f33604 | 2001-03-18 08:21:57 +0000 | [diff] [blame] | 11 | |
| 12 | def test_div(x, y): |
| 13 | """Compute complex z=x*y, and check that z/x==y and z/y==x.""" |
| 14 | global nerrors |
| 15 | z = x * y |
| 16 | if x != 0: |
| 17 | q = z / x |
| 18 | if not check_close(q, y): |
| 19 | nerrors += 1 |
Tim Peters | 0b76d3a | 2001-05-29 22:18:09 +0000 | [diff] [blame] | 20 | print "%r / %r == %r but expected %r" % (z, x, q, y) |
Tim Peters | 0f33604 | 2001-03-18 08:21:57 +0000 | [diff] [blame] | 21 | if y != 0: |
| 22 | q = z / y |
| 23 | if not check_close(q, x): |
| 24 | nerrors += 1 |
Tim Peters | 0b76d3a | 2001-05-29 22:18:09 +0000 | [diff] [blame] | 25 | print "%r / %r == %r but expected %r" % (z, y, q, x) |
Tim Peters | 0f33604 | 2001-03-18 08:21:57 +0000 | [diff] [blame] | 26 | |
| 27 | simple_real = [float(i) for i in range(-5, 6)] |
| 28 | simple_complex = [complex(x, y) for x in simple_real for y in simple_real] |
| 29 | for x in simple_complex: |
| 30 | for y in simple_complex: |
| 31 | test_div(x, y) |
| 32 | |
| 33 | # A naive complex division algorithm (such as in 2.0) is very prone to |
| 34 | # nonsense errors for these (overflows and underflows). |
| 35 | test_div(complex(1e200, 1e200), 1+0j) |
| 36 | test_div(complex(1e-200, 1e-200), 1+0j) |
| 37 | |
| 38 | # Just for fun. |
| 39 | for i in range(100): |
| 40 | test_div(complex(random(), random()), |
| 41 | complex(random(), random())) |
| 42 | |
| 43 | try: |
| 44 | z = 1.0 / (0+0j) |
| 45 | except ZeroDivisionError: |
| 46 | pass |
| 47 | else: |
| 48 | nerrors += 1 |
| 49 | raise TestFailed("Division by complex 0 didn't raise ZeroDivisionError") |
| 50 | |
| 51 | if nerrors: |
| 52 | raise TestFailed("%d tests failed" % nerrors) |