blob: cd35644022b244f9e07d565154ac422ab7488b11 [file] [log] [blame]
Mark Dickinsond058cd22008-02-10 21:29:51 +00001"""Tests for Lib/fractions.py."""
Jeffrey Yasskind7b00332008-01-15 07:46:24 +00002
3from decimal import Decimal
4from test.test_support import run_unittest, verbose
5import math
6import operator
Mark Dickinsond058cd22008-02-10 21:29:51 +00007import fractions
Jeffrey Yasskind7b00332008-01-15 07:46:24 +00008import unittest
Raymond Hettingera6216742008-01-25 00:21:54 +00009from copy import copy, deepcopy
10from cPickle import dumps, loads
Mark Dickinsond058cd22008-02-10 21:29:51 +000011R = fractions.Fraction
12gcd = fractions.gcd
Jeffrey Yasskin3e1a3732008-01-27 05:40:35 +000013
14
15class GcdTest(unittest.TestCase):
16
17 def testMisc(self):
18 self.assertEquals(0, gcd(0, 0))
19 self.assertEquals(1, gcd(1, 0))
20 self.assertEquals(-1, gcd(-1, 0))
21 self.assertEquals(1, gcd(0, 1))
22 self.assertEquals(-1, gcd(0, -1))
23 self.assertEquals(1, gcd(7, 1))
24 self.assertEquals(-1, gcd(7, -1))
25 self.assertEquals(1, gcd(-23, 15))
26 self.assertEquals(12, gcd(120, 84))
27 self.assertEquals(-12, gcd(84, -120))
28
Jeffrey Yasskind7b00332008-01-15 07:46:24 +000029
30def _components(r):
31 return (r.numerator, r.denominator)
32
Jeffrey Yasskin3e1a3732008-01-27 05:40:35 +000033
Mark Dickinsond058cd22008-02-10 21:29:51 +000034class FractionTest(unittest.TestCase):
Jeffrey Yasskind7b00332008-01-15 07:46:24 +000035
36 def assertTypedEquals(self, expected, actual):
37 """Asserts that both the types and values are the same."""
38 self.assertEquals(type(expected), type(actual))
39 self.assertEquals(expected, actual)
40
41 def assertRaisesMessage(self, exc_type, message,
42 callable, *args, **kwargs):
43 """Asserts that callable(*args, **kwargs) raises exc_type(message)."""
44 try:
45 callable(*args, **kwargs)
46 except exc_type, e:
47 self.assertEquals(message, str(e))
48 else:
49 self.fail("%s not raised" % exc_type.__name__)
50
51 def testInit(self):
52 self.assertEquals((0, 1), _components(R()))
53 self.assertEquals((7, 1), _components(R(7)))
54 self.assertEquals((7, 3), _components(R(R(7, 3))))
55
56 self.assertEquals((-1, 1), _components(R(-1, 1)))
57 self.assertEquals((-1, 1), _components(R(1, -1)))
58 self.assertEquals((1, 1), _components(R(-2, -2)))
59 self.assertEquals((1, 2), _components(R(5, 10)))
60 self.assertEquals((7, 15), _components(R(7, 15)))
61 self.assertEquals((10**23, 1), _components(R(10**23)))
62
Mark Dickinsond058cd22008-02-10 21:29:51 +000063 self.assertRaisesMessage(ZeroDivisionError, "Fraction(12, 0)",
Jeffrey Yasskind7b00332008-01-15 07:46:24 +000064 R, 12, 0)
65 self.assertRaises(TypeError, R, 1.5)
66 self.assertRaises(TypeError, R, 1.5 + 3j)
67
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +000068 self.assertRaises(TypeError, R, R(1, 2), 3)
69 self.assertRaises(TypeError, R, "3/2", 3)
70
71 def testFromString(self):
72 self.assertEquals((5, 1), _components(R("5")))
73 self.assertEquals((3, 2), _components(R("3/2")))
74 self.assertEquals((3, 2), _components(R(" \n +3/2")))
75 self.assertEquals((-3, 2), _components(R("-3/2 ")))
Jeffrey Yasskin3e1a3732008-01-27 05:40:35 +000076 self.assertEquals((13, 2), _components(R(" 013/02 \n ")))
77 self.assertEquals((13, 2), _components(R(u" 013/02 \n ")))
78
79 self.assertEquals((16, 5), _components(R(" 3.2 ")))
80 self.assertEquals((-16, 5), _components(R(u" -3.2 ")))
Mark Dickinson1dabdb22008-02-02 17:16:13 +000081 self.assertEquals((-3, 1), _components(R(u" -3. ")))
82 self.assertEquals((3, 5), _components(R(u" .6 ")))
Jeffrey Yasskin3e1a3732008-01-27 05:40:35 +000083
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +000084
85 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +000086 ZeroDivisionError, "Fraction(3, 0)",
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +000087 R, "3/0")
88 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +000089 ValueError, "Invalid literal for Fraction: 3/",
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +000090 R, "3/")
91 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +000092 ValueError, "Invalid literal for Fraction: 3 /2",
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +000093 R, "3 /2")
94 self.assertRaisesMessage(
95 # Denominators don't need a sign.
Mark Dickinsond058cd22008-02-10 21:29:51 +000096 ValueError, "Invalid literal for Fraction: 3/+2",
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +000097 R, "3/+2")
98 self.assertRaisesMessage(
99 # Imitate float's parsing.
Mark Dickinsond058cd22008-02-10 21:29:51 +0000100 ValueError, "Invalid literal for Fraction: + 3/2",
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +0000101 R, "+ 3/2")
102 self.assertRaisesMessage(
Jeffrey Yasskin3e1a3732008-01-27 05:40:35 +0000103 # Avoid treating '.' as a regex special character.
Mark Dickinsond058cd22008-02-10 21:29:51 +0000104 ValueError, "Invalid literal for Fraction: 3a2",
Jeffrey Yasskin3e1a3732008-01-27 05:40:35 +0000105 R, "3a2")
106 self.assertRaisesMessage(
107 # Only parse ordinary decimals, not scientific form.
Mark Dickinsond058cd22008-02-10 21:29:51 +0000108 ValueError, "Invalid literal for Fraction: 3.2e4",
Jeffrey Yasskin3e1a3732008-01-27 05:40:35 +0000109 R, "3.2e4")
110 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +0000111 # Don't accept combinations of decimals and fractions.
112 ValueError, "Invalid literal for Fraction: 3/7.2",
Jeffrey Yasskin3e1a3732008-01-27 05:40:35 +0000113 R, "3/7.2")
114 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +0000115 # Don't accept combinations of decimals and fractions.
116 ValueError, "Invalid literal for Fraction: 3.2/7",
Jeffrey Yasskin3e1a3732008-01-27 05:40:35 +0000117 R, "3.2/7")
Mark Dickinson1dabdb22008-02-02 17:16:13 +0000118 self.assertRaisesMessage(
119 # Allow 3. and .3, but not .
Mark Dickinsond058cd22008-02-10 21:29:51 +0000120 ValueError, "Invalid literal for Fraction: .",
Mark Dickinson1dabdb22008-02-02 17:16:13 +0000121 R, ".")
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +0000122
123 def testImmutable(self):
124 r = R(7, 3)
125 r.__init__(2, 15)
126 self.assertEquals((7, 3), _components(r))
127
Jeffrey Yasskindc2964b2008-02-01 07:05:46 +0000128 self.assertRaises(AttributeError, setattr, r, 'numerator', 12)
129 self.assertRaises(AttributeError, setattr, r, 'denominator', 6)
130 self.assertEquals((7, 3), _components(r))
131
132 # But if you _really_ need to:
133 r._numerator = 4
134 r._denominator = 2
135 self.assertEquals((4, 2), _components(r))
136 # Which breaks some important operations:
137 self.assertNotEquals(R(4, 2), r)
138
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000139 def testFromFloat(self):
140 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +0000141 TypeError, "Fraction.from_float() only takes floats, not 3 (int)",
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000142 R.from_float, 3)
143
144 self.assertEquals((0, 1), _components(R.from_float(-0.0)))
145 self.assertEquals((10, 1), _components(R.from_float(10.0)))
146 self.assertEquals((-5, 2), _components(R.from_float(-2.5)))
147 self.assertEquals((99999999999999991611392, 1),
148 _components(R.from_float(1e23)))
149 self.assertEquals(float(10**23), float(R.from_float(1e23)))
150 self.assertEquals((3602879701896397, 1125899906842624),
151 _components(R.from_float(3.2)))
152 self.assertEquals(3.2, float(R.from_float(3.2)))
153
154 inf = 1e1000
155 nan = inf - inf
156 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +0000157 TypeError, "Cannot convert inf to Fraction.",
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000158 R.from_float, inf)
159 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +0000160 TypeError, "Cannot convert -inf to Fraction.",
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000161 R.from_float, -inf)
162 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +0000163 TypeError, "Cannot convert nan to Fraction.",
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000164 R.from_float, nan)
165
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +0000166 def testFromDecimal(self):
167 self.assertRaisesMessage(
168 TypeError,
Mark Dickinsond058cd22008-02-10 21:29:51 +0000169 "Fraction.from_decimal() only takes Decimals, not 3 (int)",
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +0000170 R.from_decimal, 3)
171 self.assertEquals(R(0), R.from_decimal(Decimal("-0")))
172 self.assertEquals(R(5, 10), R.from_decimal(Decimal("0.5")))
173 self.assertEquals(R(5, 1000), R.from_decimal(Decimal("5e-3")))
174 self.assertEquals(R(5000), R.from_decimal(Decimal("5e3")))
175 self.assertEquals(1 - R(1, 10**30),
176 R.from_decimal(Decimal("0." + "9" * 30)))
177
178 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +0000179 TypeError, "Cannot convert Infinity to Fraction.",
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +0000180 R.from_decimal, Decimal("inf"))
181 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +0000182 TypeError, "Cannot convert -Infinity to Fraction.",
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +0000183 R.from_decimal, Decimal("-inf"))
184 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +0000185 TypeError, "Cannot convert NaN to Fraction.",
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +0000186 R.from_decimal, Decimal("nan"))
187 self.assertRaisesMessage(
Mark Dickinsond058cd22008-02-10 21:29:51 +0000188 TypeError, "Cannot convert sNaN to Fraction.",
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +0000189 R.from_decimal, Decimal("snan"))
190
Raymond Hettingercf109262008-01-24 00:54:21 +0000191 def testFromContinuedFraction(self):
192 self.assertRaises(TypeError, R.from_continued_fraction, None)
193 phi = R.from_continued_fraction([1]*100)
194 self.assertEquals(round(phi - (1 + 5 ** 0.5) / 2, 10), 0.0)
195
Raymond Hettingereb461902008-01-24 02:00:25 +0000196 minusphi = R.from_continued_fraction([-1]*100)
197 self.assertEquals(round(minusphi + (1 + 5 ** 0.5) / 2, 10), 0.0)
198
199 self.assertEquals(R.from_continued_fraction([0]), R(0))
200 self.assertEquals(R.from_continued_fraction([]), R(0))
201
Raymond Hettingercf109262008-01-24 00:54:21 +0000202 def testAsContinuedFraction(self):
203 self.assertEqual(R.from_float(math.pi).as_continued_fraction()[:15],
204 [3, 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 3, 3])
Raymond Hettingereb461902008-01-24 02:00:25 +0000205 self.assertEqual(R.from_float(-math.pi).as_continued_fraction()[:16],
206 [-4, 1, 6, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 3, 3])
207 self.assertEqual(R(0).as_continued_fraction(), [0])
Raymond Hettingercf109262008-01-24 00:54:21 +0000208
Raymond Hettinger9c6d81f2008-01-25 01:23:38 +0000209 def testApproximateFrom(self):
210 self.assertEqual(R.from_float(math.pi).approximate(10000), R(355, 113))
211 self.assertEqual(R.from_float(-math.pi).approximate(10000), R(-355, 113))
212 self.assertEqual(R.from_float(0.0).approximate(10000), R(0))
Raymond Hettingercf109262008-01-24 00:54:21 +0000213
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000214 def testConversions(self):
Jeffrey Yasskinca2b69f2008-02-01 06:22:46 +0000215 self.assertTypedEquals(-1, math.trunc(R(-11, 10)))
Raymond Hettinger5b0e27e2008-01-24 19:30:19 +0000216 self.assertTypedEquals(-1, int(R(-11, 10)))
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000217
218 self.assertEquals(False, bool(R(0, 1)))
219 self.assertEquals(True, bool(R(3, 2)))
220 self.assertTypedEquals(0.1, float(R(1, 10)))
221
222 # Check that __float__ isn't implemented by converting the
223 # numerator and denominator to float before dividing.
224 self.assertRaises(OverflowError, float, long('2'*400+'7'))
225 self.assertAlmostEquals(2.0/3,
226 float(R(long('2'*400+'7'), long('3'*400+'1'))))
227
228 self.assertTypedEquals(0.1+0j, complex(R(1,10)))
229
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000230
231 def testArithmetic(self):
232 self.assertEquals(R(1, 2), R(1, 10) + R(2, 5))
233 self.assertEquals(R(-3, 10), R(1, 10) - R(2, 5))
234 self.assertEquals(R(1, 25), R(1, 10) * R(2, 5))
235 self.assertEquals(R(1, 4), R(1, 10) / R(2, 5))
236 self.assertTypedEquals(2, R(9, 10) // R(2, 5))
237 self.assertTypedEquals(10**23, R(10**23, 1) // R(1))
238 self.assertEquals(R(2, 3), R(-7, 3) % R(3, 2))
239 self.assertEquals(R(8, 27), R(2, 3) ** R(3))
240 self.assertEquals(R(27, 8), R(2, 3) ** R(-3))
241 self.assertTypedEquals(2.0, R(4) ** R(1, 2))
242 # Will return 1j in 3.0:
243 self.assertRaises(ValueError, pow, R(-1), R(1, 2))
244
245 def testMixedArithmetic(self):
246 self.assertTypedEquals(R(11, 10), R(1, 10) + 1)
247 self.assertTypedEquals(1.1, R(1, 10) + 1.0)
248 self.assertTypedEquals(1.1 + 0j, R(1, 10) + (1.0 + 0j))
249 self.assertTypedEquals(R(11, 10), 1 + R(1, 10))
250 self.assertTypedEquals(1.1, 1.0 + R(1, 10))
251 self.assertTypedEquals(1.1 + 0j, (1.0 + 0j) + R(1, 10))
252
253 self.assertTypedEquals(R(-9, 10), R(1, 10) - 1)
254 self.assertTypedEquals(-0.9, R(1, 10) - 1.0)
255 self.assertTypedEquals(-0.9 + 0j, R(1, 10) - (1.0 + 0j))
256 self.assertTypedEquals(R(9, 10), 1 - R(1, 10))
257 self.assertTypedEquals(0.9, 1.0 - R(1, 10))
258 self.assertTypedEquals(0.9 + 0j, (1.0 + 0j) - R(1, 10))
259
260 self.assertTypedEquals(R(1, 10), R(1, 10) * 1)
261 self.assertTypedEquals(0.1, R(1, 10) * 1.0)
262 self.assertTypedEquals(0.1 + 0j, R(1, 10) * (1.0 + 0j))
263 self.assertTypedEquals(R(1, 10), 1 * R(1, 10))
264 self.assertTypedEquals(0.1, 1.0 * R(1, 10))
265 self.assertTypedEquals(0.1 + 0j, (1.0 + 0j) * R(1, 10))
266
267 self.assertTypedEquals(R(1, 10), R(1, 10) / 1)
268 self.assertTypedEquals(0.1, R(1, 10) / 1.0)
269 self.assertTypedEquals(0.1 + 0j, R(1, 10) / (1.0 + 0j))
270 self.assertTypedEquals(R(10, 1), 1 / R(1, 10))
271 self.assertTypedEquals(10.0, 1.0 / R(1, 10))
272 self.assertTypedEquals(10.0 + 0j, (1.0 + 0j) / R(1, 10))
273
274 self.assertTypedEquals(0, R(1, 10) // 1)
275 self.assertTypedEquals(0.0, R(1, 10) // 1.0)
276 self.assertTypedEquals(10, 1 // R(1, 10))
277 self.assertTypedEquals(10**23, 10**22 // R(1, 10))
278 self.assertTypedEquals(10.0, 1.0 // R(1, 10))
279
280 self.assertTypedEquals(R(1, 10), R(1, 10) % 1)
281 self.assertTypedEquals(0.1, R(1, 10) % 1.0)
282 self.assertTypedEquals(R(0, 1), 1 % R(1, 10))
283 self.assertTypedEquals(0.0, 1.0 % R(1, 10))
284
285 # No need for divmod since we don't override it.
286
287 # ** has more interesting conversion rules.
288 self.assertTypedEquals(R(100, 1), R(1, 10) ** -2)
289 self.assertTypedEquals(R(100, 1), R(10, 1) ** 2)
290 self.assertTypedEquals(0.1, R(1, 10) ** 1.0)
291 self.assertTypedEquals(0.1 + 0j, R(1, 10) ** (1.0 + 0j))
292 self.assertTypedEquals(4 , 2 ** R(2, 1))
293 # Will return 1j in 3.0:
294 self.assertRaises(ValueError, pow, (-1), R(1, 2))
295 self.assertTypedEquals(R(1, 4) , 2 ** R(-2, 1))
296 self.assertTypedEquals(2.0 , 4 ** R(1, 2))
297 self.assertTypedEquals(0.25, 2.0 ** R(-2, 1))
298 self.assertTypedEquals(1.0 + 0j, (1.0 + 0j) ** R(1, 10))
299
300 def testMixingWithDecimal(self):
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +0000301 # Decimal refuses mixed comparisons.
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000302 self.assertRaisesMessage(
303 TypeError,
Mark Dickinsond058cd22008-02-10 21:29:51 +0000304 "unsupported operand type(s) for +: 'Fraction' and 'Decimal'",
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000305 operator.add, R(3,11), Decimal('3.1415926'))
306 self.assertNotEquals(R(5, 2), Decimal('2.5'))
307
308 def testComparisons(self):
309 self.assertTrue(R(1, 2) < R(2, 3))
310 self.assertFalse(R(1, 2) < R(1, 2))
311 self.assertTrue(R(1, 2) <= R(2, 3))
312 self.assertTrue(R(1, 2) <= R(1, 2))
313 self.assertFalse(R(2, 3) <= R(1, 2))
314 self.assertTrue(R(1, 2) == R(1, 2))
315 self.assertFalse(R(1, 2) == R(1, 3))
Jeffrey Yasskin27d33942008-02-08 06:45:40 +0000316 self.assertFalse(R(1, 2) != R(1, 2))
317 self.assertTrue(R(1, 2) != R(1, 3))
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000318
319 def testMixedLess(self):
320 self.assertTrue(2 < R(5, 2))
321 self.assertFalse(2 < R(4, 2))
322 self.assertTrue(R(5, 2) < 3)
323 self.assertFalse(R(4, 2) < 2)
324
325 self.assertTrue(R(1, 2) < 0.6)
326 self.assertFalse(R(1, 2) < 0.4)
327 self.assertTrue(0.4 < R(1, 2))
328 self.assertFalse(0.5 < R(1, 2))
329
330 def testMixedLessEqual(self):
331 self.assertTrue(0.5 <= R(1, 2))
332 self.assertFalse(0.6 <= R(1, 2))
333 self.assertTrue(R(1, 2) <= 0.5)
334 self.assertFalse(R(1, 2) <= 0.4)
335 self.assertTrue(2 <= R(4, 2))
336 self.assertFalse(2 <= R(3, 2))
337 self.assertTrue(R(4, 2) <= 2)
338 self.assertFalse(R(5, 2) <= 2)
339
340 def testBigFloatComparisons(self):
341 # Because 10**23 can't be represented exactly as a float:
342 self.assertFalse(R(10**23) == float(10**23))
343 # The first test demonstrates why these are important.
Jeffrey Yasskinca2b69f2008-02-01 06:22:46 +0000344 self.assertFalse(1e23 < float(R(math.trunc(1e23) + 1)))
345 self.assertTrue(1e23 < R(math.trunc(1e23) + 1))
346 self.assertFalse(1e23 <= R(math.trunc(1e23) - 1))
347 self.assertTrue(1e23 > R(math.trunc(1e23) - 1))
348 self.assertFalse(1e23 >= R(math.trunc(1e23) + 1))
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000349
350 def testBigComplexComparisons(self):
351 self.assertFalse(R(10**23) == complex(10**23))
352 self.assertTrue(R(10**23) > complex(10**23))
353 self.assertFalse(R(10**23) <= complex(10**23))
354
355 def testMixedEqual(self):
356 self.assertTrue(0.5 == R(1, 2))
357 self.assertFalse(0.6 == R(1, 2))
358 self.assertTrue(R(1, 2) == 0.5)
359 self.assertFalse(R(1, 2) == 0.4)
360 self.assertTrue(2 == R(4, 2))
361 self.assertFalse(2 == R(3, 2))
362 self.assertTrue(R(4, 2) == 2)
363 self.assertFalse(R(5, 2) == 2)
364
365 def testStringification(self):
Mark Dickinsond058cd22008-02-10 21:29:51 +0000366 self.assertEquals("Fraction(7,3)", repr(R(7, 3)))
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +0000367 self.assertEquals("7/3", str(R(7, 3)))
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000368 self.assertEquals("7", str(R(7, 1)))
369
370 def testHash(self):
371 self.assertEquals(hash(2.5), hash(R(5, 2)))
372 self.assertEquals(hash(10**50), hash(R(10**50)))
373 self.assertNotEquals(hash(float(10**23)), hash(R(10**23)))
374
375 def testApproximatePi(self):
376 # Algorithm borrowed from
377 # http://docs.python.org/lib/decimal-recipes.html
378 three = R(3)
379 lasts, t, s, n, na, d, da = 0, three, 3, 1, 0, 0, 24
380 while abs(s - lasts) > R(1, 10**9):
381 lasts = s
382 n, na = n+na, na+8
383 d, da = d+da, da+32
384 t = (t * n) / d
385 s += t
386 self.assertAlmostEquals(math.pi, s)
387
388 def testApproximateCos1(self):
389 # Algorithm borrowed from
390 # http://docs.python.org/lib/decimal-recipes.html
391 x = R(1)
392 i, lasts, s, fact, num, sign = 0, 0, R(1), 1, 1, 1
393 while abs(s - lasts) > R(1, 10**9):
394 lasts = s
395 i += 2
396 fact *= i * (i-1)
397 num *= x * x
398 sign *= -1
399 s += num / fact * sign
400 self.assertAlmostEquals(math.cos(1), s)
401
Raymond Hettingera6216742008-01-25 00:21:54 +0000402 def test_copy_deepcopy_pickle(self):
403 r = R(13, 7)
404 self.assertEqual(r, loads(dumps(r)))
405 self.assertEqual(id(r), id(copy(r)))
406 self.assertEqual(id(r), id(deepcopy(r)))
407
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000408def test_main():
Mark Dickinsond058cd22008-02-10 21:29:51 +0000409 run_unittest(FractionTest, GcdTest)
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000410
411if __name__ == '__main__':
412 test_main()