Mercurial > cpython-lru_cache-weakref
annotate Lib/test/test_math.py @ 25838:8540887bcec6 2.2
Backport of 2.183:
Fix memory leak in add_subclass() found by NealN with valgrind.
| author | Guido van Rossum <guido@python.org> |
|---|---|
| date | Fri, 18 Oct 2002 13:42:21 +0000 |
| parents | 35b6a1d0b1e0 |
| children | 1157281f00a0 |
| rev | line source |
|---|---|
| 3950 | 1 # Python test set -- math module |
| 2 # XXXX Should not do tests around zero only | |
| 3 | |
| 4 from test_support import * | |
| 5 | |
|
4179
33f4a91f871b
Subtle hack so the eps printed is not dependent on the formatting
Guido van Rossum <guido@python.org>
parents:
3950
diff
changeset
|
6 seps='1e-05' |
|
33f4a91f871b
Subtle hack so the eps printed is not dependent on the formatting
Guido van Rossum <guido@python.org>
parents:
3950
diff
changeset
|
7 eps = eval(seps) |
|
33f4a91f871b
Subtle hack so the eps printed is not dependent on the formatting
Guido van Rossum <guido@python.org>
parents:
3950
diff
changeset
|
8 print 'math module, testing with eps', seps |
| 3950 | 9 import math |
| 10 | |
| 11 def testit(name, value, expected): | |
|
15305
07f24261c6e6
Make reindent.py happy (convert everything to 4-space indents!).
Fred Drake <fdrake@acm.org>
parents:
15247
diff
changeset
|
12 if abs(value-expected) > eps: |
|
07f24261c6e6
Make reindent.py happy (convert everything to 4-space indents!).
Fred Drake <fdrake@acm.org>
parents:
15247
diff
changeset
|
13 raise TestFailed, '%s returned %f, expected %f'%\ |
|
07f24261c6e6
Make reindent.py happy (convert everything to 4-space indents!).
Fred Drake <fdrake@acm.org>
parents:
15247
diff
changeset
|
14 (name, value, expected) |
| 3950 | 15 |
| 16 print 'constants' | |
| 17 testit('pi', math.pi, 3.1415926) | |
| 18 testit('e', math.e, 2.7182818) | |
| 19 | |
| 20 print 'acos' | |
| 21 testit('acos(-1)', math.acos(-1), math.pi) | |
| 22 testit('acos(0)', math.acos(0), math.pi/2) | |
| 23 testit('acos(1)', math.acos(1), 0) | |
| 24 | |
| 25 print 'asin' | |
| 26 testit('asin(-1)', math.asin(-1), -math.pi/2) | |
| 27 testit('asin(0)', math.asin(0), 0) | |
| 28 testit('asin(1)', math.asin(1), math.pi/2) | |
| 29 | |
| 30 print 'atan' | |
| 31 testit('atan(-1)', math.atan(-1), -math.pi/4) | |
| 32 testit('atan(0)', math.atan(0), 0) | |
| 33 testit('atan(1)', math.atan(1), math.pi/4) | |
| 34 | |
| 35 print 'atan2' | |
| 36 testit('atan2(-1, 0)', math.atan2(-1, 0), -math.pi/2) | |
| 37 testit('atan2(-1, 1)', math.atan2(-1, 1), -math.pi/4) | |
|
17424
7c61715752be
Reverting the "unixware7" patch: atan2(0, 1) should be 0, regardless of
Tim Peters <tim.peters@gmail.com>
parents:
17419
diff
changeset
|
38 testit('atan2(0, 1)', math.atan2(0, 1), 0) |
| 3950 | 39 testit('atan2(1, 1)', math.atan2(1, 1), math.pi/4) |
| 40 testit('atan2(1, 0)', math.atan2(1, 0), math.pi/2) | |
| 41 | |
| 42 print 'ceil' | |
| 43 testit('ceil(0.5)', math.ceil(0.5), 1) | |
| 44 testit('ceil(1.0)', math.ceil(1.0), 1) | |
| 45 testit('ceil(1.5)', math.ceil(1.5), 2) | |
| 46 testit('ceil(-0.5)', math.ceil(-0.5), 0) | |
| 47 testit('ceil(-1.0)', math.ceil(-1.0), -1) | |
| 48 testit('ceil(-1.5)', math.ceil(-1.5), -1) | |
| 49 | |
| 50 print 'cos' | |
| 51 testit('cos(-pi/2)', math.cos(-math.pi/2), 0) | |
| 52 testit('cos(0)', math.cos(0), 1) | |
| 53 testit('cos(pi/2)', math.cos(math.pi/2), 0) | |
| 54 testit('cos(pi)', math.cos(math.pi), -1) | |
| 55 | |
| 56 print 'cosh' | |
| 57 testit('cosh(0)', math.cosh(0), 1) | |
| 58 testit('cosh(2)-2*cosh(1)**2', math.cosh(2)-2*math.cosh(1)**2, -1) # Thanks to Lambert | |
| 59 | |
| 60 print 'exp' | |
| 61 testit('exp(-1)', math.exp(-1), 1/math.e) | |
| 62 testit('exp(0)', math.exp(0), 1) | |
| 63 testit('exp(1)', math.exp(1), math.e) | |
| 64 | |
| 65 print 'fabs' | |
| 66 testit('fabs(-1)', math.fabs(-1), 1) | |
| 67 testit('fabs(0)', math.fabs(0), 0) | |
| 68 testit('fabs(1)', math.fabs(1), 1) | |
| 69 | |
| 70 print 'floor' | |
| 71 testit('floor(0.5)', math.floor(0.5), 0) | |
| 72 testit('floor(1.0)', math.floor(1.0), 1) | |
| 73 testit('floor(1.5)', math.floor(1.5), 1) | |
| 74 testit('floor(-0.5)', math.floor(-0.5), -1) | |
| 75 testit('floor(-1.0)', math.floor(-1.0), -1) | |
| 76 testit('floor(-1.5)', math.floor(-1.5), -2) | |
| 77 | |
| 78 print 'fmod' | |
| 79 testit('fmod(10,1)', math.fmod(10,1), 0) | |
| 80 testit('fmod(10,0.5)', math.fmod(10,0.5), 0) | |
| 81 testit('fmod(10,1.5)', math.fmod(10,1.5), 1) | |
| 82 testit('fmod(-10,1)', math.fmod(-10,1), 0) | |
| 83 testit('fmod(-10,0.5)', math.fmod(-10,0.5), 0) | |
| 84 testit('fmod(-10,1.5)', math.fmod(-10,1.5), -1) | |
| 85 | |
| 86 print 'frexp' | |
| 87 def testfrexp(name, (mant, exp), (emant, eexp)): | |
|
15540
9d43129c8c55
Update the code to better reflect recommended style:
Fred Drake <fdrake@acm.org>
parents:
15305
diff
changeset
|
88 if abs(mant-emant) > eps or exp != eexp: |
|
15305
07f24261c6e6
Make reindent.py happy (convert everything to 4-space indents!).
Fred Drake <fdrake@acm.org>
parents:
15247
diff
changeset
|
89 raise TestFailed, '%s returned %s, expected %s'%\ |
|
07f24261c6e6
Make reindent.py happy (convert everything to 4-space indents!).
Fred Drake <fdrake@acm.org>
parents:
15247
diff
changeset
|
90 (name, `mant, exp`, `emant,eexp`) |
| 3950 | 91 |
| 92 testfrexp('frexp(-1)', math.frexp(-1), (-0.5, 1)) | |
| 93 testfrexp('frexp(0)', math.frexp(0), (0, 0)) | |
| 94 testfrexp('frexp(1)', math.frexp(1), (0.5, 1)) | |
| 95 testfrexp('frexp(2)', math.frexp(2), (0.5, 2)) | |
| 96 | |
| 97 print 'hypot' | |
| 98 testit('hypot(0,0)', math.hypot(0,0), 0) | |
| 99 testit('hypot(3,4)', math.hypot(3,4), 5) | |
| 100 | |
| 101 print 'ldexp' | |
| 102 testit('ldexp(0,1)', math.ldexp(0,1), 0) | |
| 103 testit('ldexp(1,1)', math.ldexp(1,1), 2) | |
| 104 testit('ldexp(1,-1)', math.ldexp(1,-1), 0.5) | |
| 105 testit('ldexp(-1,1)', math.ldexp(-1,1), -2) | |
| 106 | |
| 107 print 'log' | |
| 108 testit('log(1/e)', math.log(1/math.e), -1) | |
| 109 testit('log(1)', math.log(1), 0) | |
| 110 testit('log(e)', math.log(math.e), 1) | |
| 111 | |
| 112 print 'log10' | |
| 113 testit('log10(0.1)', math.log10(0.1), -1) | |
| 114 testit('log10(1)', math.log10(1), 0) | |
| 115 testit('log10(10)', math.log10(10), 1) | |
| 116 | |
| 117 print 'modf' | |
| 118 def testmodf(name, (v1, v2), (e1, e2)): | |
|
15305
07f24261c6e6
Make reindent.py happy (convert everything to 4-space indents!).
Fred Drake <fdrake@acm.org>
parents:
15247
diff
changeset
|
119 if abs(v1-e1) > eps or abs(v2-e2): |
|
07f24261c6e6
Make reindent.py happy (convert everything to 4-space indents!).
Fred Drake <fdrake@acm.org>
parents:
15247
diff
changeset
|
120 raise TestFailed, '%s returned %s, expected %s'%\ |
|
07f24261c6e6
Make reindent.py happy (convert everything to 4-space indents!).
Fred Drake <fdrake@acm.org>
parents:
15247
diff
changeset
|
121 (name, `v1,v2`, `e1,e2`) |
| 3950 | 122 |
| 123 testmodf('modf(1.5)', math.modf(1.5), (0.5, 1.0)) | |
| 124 testmodf('modf(-1.5)', math.modf(-1.5), (-0.5, -1.0)) | |
| 125 | |
| 126 print 'pow' | |
| 127 testit('pow(0,1)', math.pow(0,1), 0) | |
| 128 testit('pow(1,0)', math.pow(1,0), 1) | |
| 129 testit('pow(2,1)', math.pow(2,1), 2) | |
| 130 testit('pow(2,-1)', math.pow(2,-1), 0.5) | |
| 131 | |
| 132 print 'sin' | |
| 133 testit('sin(0)', math.sin(0), 0) | |
| 134 testit('sin(pi/2)', math.sin(math.pi/2), 1) | |
| 135 testit('sin(-pi/2)', math.sin(-math.pi/2), -1) | |
| 136 | |
| 137 print 'sinh' | |
| 138 testit('sinh(0)', math.sinh(0), 0) | |
| 139 testit('sinh(1)**2-cosh(1)**2', math.sinh(1)**2-math.cosh(1)**2, -1) | |
| 140 testit('sinh(1)+sinh(-1)', math.sinh(1)+math.sinh(-1), 0) | |
| 141 | |
| 142 print 'sqrt' | |
| 143 testit('sqrt(0)', math.sqrt(0), 0) | |
| 144 testit('sqrt(1)', math.sqrt(1), 1) | |
| 145 testit('sqrt(4)', math.sqrt(4), 2) | |
| 146 | |
| 147 print 'tan' | |
| 148 testit('tan(0)', math.tan(0), 0) | |
| 149 testit('tan(pi/4)', math.tan(math.pi/4), 1) | |
| 150 testit('tan(-pi/4)', math.tan(-math.pi/4), -1) | |
| 151 | |
| 152 print 'tanh' | |
| 153 testit('tanh(0)', math.tanh(0), 0) | |
| 154 testit('tanh(1)+tanh(-1)', math.tanh(1)+math.tanh(-1), 0) | |
|
15170
09c7ac188ce2
Stop raising OverflowError on underflows reported by libm (errno==ERANGE and
Tim Peters <tim.peters@gmail.com>
parents:
13912
diff
changeset
|
155 |
|
15247
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
156 # RED_FLAG 16-Oct-2000 Tim |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
157 # While 2.0 is more consistent about exceptions than previous releases, it |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
158 # still fails this part of the test on some platforms. For now, we only |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
159 # *run* test_exceptions() in verbose mode, so that this isn't normally |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
160 # tested. |
|
15170
09c7ac188ce2
Stop raising OverflowError on underflows reported by libm (errno==ERANGE and
Tim Peters <tim.peters@gmail.com>
parents:
13912
diff
changeset
|
161 |
|
15247
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
162 def test_exceptions(): |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
163 print 'exceptions' |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
164 try: |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
165 x = math.exp(-1000000000) |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
166 except: |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
167 # mathmodule.c is failing to weed out underflows from libm, or |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
168 # we've got an fp format with huge dynamic range |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
169 raise TestFailed("underflowing exp() should not have raised " |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
170 "an exception") |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
171 if x != 0: |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
172 raise TestFailed("underflowing exp() should have returned 0") |
|
15170
09c7ac188ce2
Stop raising OverflowError on underflows reported by libm (errno==ERANGE and
Tim Peters <tim.peters@gmail.com>
parents:
13912
diff
changeset
|
173 |
|
15247
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
174 # If this fails, probably using a strict IEEE-754 conforming libm, and x |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
175 # is +Inf afterwards. But Python wants overflows detected by default. |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
176 try: |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
177 x = math.exp(1000000000) |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
178 except OverflowError: |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
179 pass |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
180 else: |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
181 raise TestFailed("overflowing exp() didn't trigger OverflowError") |
|
15170
09c7ac188ce2
Stop raising OverflowError on underflows reported by libm (errno==ERANGE and
Tim Peters <tim.peters@gmail.com>
parents:
13912
diff
changeset
|
182 |
|
15247
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
183 # If this fails, it could be a puzzle. One odd possibility is that |
|
19750
35b6a1d0b1e0
Rework the way we try to check for libm overflow, given that C99 no longer
Tim Peters <tim.peters@gmail.com>
parents:
17424
diff
changeset
|
184 # mathmodule.c's macros are getting confused while comparing |
|
15247
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
185 # Inf (HUGE_VAL) to a NaN, and artificially setting errno to ERANGE |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
186 # as a result (and so raising OverflowError instead). |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
187 try: |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
188 x = math.sqrt(-1.0) |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
189 except ValueError: |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
190 pass |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
191 else: |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
192 raise TestFailed("sqrt(-1) didn't raise ValueError") |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
193 |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
194 if verbose: |
|
dd0d199674f8
Test for math.* exceptional behavior only in verbose mode, so that the
Tim Peters <tim.peters@gmail.com>
parents:
15171
diff
changeset
|
195 test_exceptions() |