test_Numbers.py 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681
  1. #
  2. # SelfTest/Math/test_Numbers.py: Self-test for Numbers module
  3. #
  4. # ===================================================================
  5. #
  6. # Copyright (c) 2014, Legrandin <helderijs@gmail.com>
  7. # All rights reserved.
  8. #
  9. # Redistribution and use in source and binary forms, with or without
  10. # modification, are permitted provided that the following conditions
  11. # are met:
  12. #
  13. # 1. Redistributions of source code must retain the above copyright
  14. # notice, this list of conditions and the following disclaimer.
  15. # 2. Redistributions in binary form must reproduce the above copyright
  16. # notice, this list of conditions and the following disclaimer in
  17. # the documentation and/or other materials provided with the
  18. # distribution.
  19. #
  20. # THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  21. # "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  22. # LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
  23. # FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
  24. # COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
  25. # INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
  26. # BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
  27. # LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  28. # CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  29. # LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
  30. # ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  31. # POSSIBILITY OF SUCH DAMAGE.
  32. # ===================================================================
  33. """Self-test for Math.Numbers"""
  34. import unittest
  35. from Crypto.SelfTest.st_common import list_test_cases
  36. from Crypto.Util.py3compat import *
  37. from Crypto.Math.Numbers import Integer as IntegerGeneric
  38. from Crypto.Math import _Numbers_int as NumbersInt
  39. class TestIntegerBase(unittest.TestCase):
  40. def setUp(self):
  41. if not hasattr(self, "Integer"):
  42. from Crypto.Math.Numbers import Integer as IntegerDefault
  43. self.Integer = IntegerDefault
  44. def Integers(self, *arg):
  45. return map(self.Integer, arg)
  46. def test_init_and_equality(self):
  47. Integer = self.Integer
  48. v1 = Integer(23)
  49. v2 = Integer(v1)
  50. v3 = Integer(-9)
  51. self.assertRaises(ValueError, Integer, 1.0)
  52. v4 = Integer(10**10)
  53. v5 = Integer(-10**10)
  54. self.assertEqual(v1, v1)
  55. self.assertEqual(v1, 23)
  56. self.assertEqual(v1, v2)
  57. self.assertEqual(v3, -9)
  58. self.assertEqual(v4, 10 ** 10)
  59. self.assertEqual(v5, -10 ** 10)
  60. self.failIf(v1 == v4)
  61. # Init and comparison between Integer's
  62. v6 = Integer(v1)
  63. self.assertEqual(v1, v6)
  64. self.failIf(Integer(0) == None)
  65. def test_conversion_to_int(self):
  66. v1, v2 = self.Integers(-23, 2 ** 1000)
  67. self.assertEqual(int(v1), -23)
  68. self.assertEqual(int(v2), 2 ** 1000)
  69. def test_equality_with_ints(self):
  70. v1, v2, v3 = self.Integers(23, -89, 2 ** 1000)
  71. self.failUnless(v1 == 23)
  72. self.failUnless(v2 == -89)
  73. self.failIf(v1 == 24)
  74. self.failUnless(v3 == 2 ** 1000)
  75. def test_conversion_to_str(self):
  76. v1, v2, v3, v4 = self.Integers(20, 0, -20, 2 ** 1000)
  77. self.failUnless(str(v1) == "20")
  78. self.failUnless(str(v2) == "0")
  79. self.failUnless(str(v3) == "-20")
  80. self.failUnless(str(v4) == "10715086071862673209484250490600018105614048117055336074437503883703510511249361224931983788156958581275946729175531468251871452856923140435984577574698574803934567774824230985421074605062371141877954182153046474983581941267398767559165543946077062914571196477686542167660429831652624386837205668069376")
  81. def test_repr(self):
  82. v1, v2 = self.Integers(-1, 2**80)
  83. self.assertEqual(repr(v1), "Integer(-1)")
  84. self.assertEqual(repr(v2), "Integer(1208925819614629174706176)")
  85. def test_conversion_to_bytes(self):
  86. Integer = self.Integer
  87. v1 = Integer(0x17)
  88. self.assertEqual(b("\x17"), v1.to_bytes())
  89. v2 = Integer(0xFFFF)
  90. self.assertEqual(b("\xFF\xFF"), v2.to_bytes())
  91. self.assertEqual(b("\x00\xFF\xFF"), v2.to_bytes(3))
  92. self.assertRaises(ValueError, v2.to_bytes, 1)
  93. v3 = Integer(-90)
  94. self.assertRaises(ValueError, v3.to_bytes)
  95. def test_conversion_from_bytes(self):
  96. Integer = self.Integer
  97. v1 = Integer.from_bytes(b("\x00"))
  98. self.failUnless(isinstance(v1, Integer))
  99. self.assertEqual(0, v1)
  100. v2 = Integer.from_bytes(b("\x00\x00"))
  101. self.assertEqual(0, v2)
  102. v3 = Integer.from_bytes(b("\xFF\xFF"))
  103. self.assertEqual(0xFFFF, v3)
  104. def test_inequality(self):
  105. # Test Integer!=Integer and Integer!=int
  106. v1, v2, v3, v4 = self.Integers(89, 89, 90, -8)
  107. self.failUnless(v1 != v3)
  108. self.failUnless(v1 != 90)
  109. self.failIf(v1 != v2)
  110. self.failIf(v1 != 89)
  111. self.failUnless(v1 != v4)
  112. self.failUnless(v4 != v1)
  113. self.failUnless(self.Integer(0) != None)
  114. def test_less_than(self):
  115. # Test Integer<Integer and Integer<int
  116. v1, v2, v3, v4, v5 = self.Integers(13, 13, 14, -8, 2 ** 10)
  117. self.failUnless(v1 < v3)
  118. self.failUnless(v1 < 14)
  119. self.failIf(v1 < v2)
  120. self.failIf(v1 < 13)
  121. self.failUnless(v4 < v1)
  122. self.failIf(v1 < v4)
  123. self.failUnless(v1 < v5)
  124. self.failIf(v5 < v1)
  125. def test_less_than_or_equal(self):
  126. # Test Integer<=Integer and Integer<=int
  127. v1, v2, v3, v4, v5 = self.Integers(13, 13, 14, -4, 2 ** 10)
  128. self.failUnless(v1 <= v1)
  129. self.failUnless(v1 <= 13)
  130. self.failUnless(v1 <= v2)
  131. self.failUnless(v1 <= 14)
  132. self.failUnless(v1 <= v3)
  133. self.failIf(v1 <= v4)
  134. self.failUnless(v1 <= v5)
  135. self.failIf(v5 <= v1)
  136. def test_more_than(self):
  137. # Test Integer>Integer and Integer>int
  138. v1, v2, v3, v4, v5 = self.Integers(13, 13, 14, -8, 2 ** 10)
  139. self.failUnless(v3 > v1)
  140. self.failUnless(v3 > 13)
  141. self.failIf(v1 > v1)
  142. self.failIf(v1 > v2)
  143. self.failIf(v1 > 13)
  144. self.failUnless(v1 > v4)
  145. self.failIf(v4 > v1)
  146. self.failUnless(v5 > v1)
  147. self.failIf(v1 > v5)
  148. def test_more_than_or_equal(self):
  149. # Test Integer>=Integer and Integer>=int
  150. v1, v2, v3, v4 = self.Integers(13, 13, 14, -4)
  151. self.failUnless(v3 >= v1)
  152. self.failUnless(v3 >= 13)
  153. self.failUnless(v1 >= v2)
  154. self.failUnless(v1 >= v1)
  155. self.failUnless(v1 >= 13)
  156. self.failIf(v4 >= v1)
  157. def test_bool(self):
  158. v1, v2, v3, v4 = self.Integers(0, 10, -9, 2 ** 10)
  159. self.failIf(v1)
  160. self.failIf(bool(v1))
  161. self.failUnless(v2)
  162. self.failUnless(bool(v2))
  163. self.failUnless(v3)
  164. self.failUnless(v4)
  165. def test_is_negative(self):
  166. v1, v2, v3, v4, v5 = self.Integers(-3 ** 100, -3, 0, 3, 3**100)
  167. self.failUnless(v1.is_negative())
  168. self.failUnless(v2.is_negative())
  169. self.failIf(v4.is_negative())
  170. self.failIf(v5.is_negative())
  171. def test_addition(self):
  172. # Test Integer+Integer and Integer+int
  173. v1, v2, v3 = self.Integers(7, 90, -7)
  174. self.failUnless(isinstance(v1 + v2, self.Integer))
  175. self.assertEqual(v1 + v2, 97)
  176. self.assertEqual(v1 + 90, 97)
  177. self.assertEqual(v1 + v3, 0)
  178. self.assertEqual(v1 + (-7), 0)
  179. self.assertEqual(v1 + 2 ** 10, 2 ** 10 + 7)
  180. def test_subtraction(self):
  181. # Test Integer-Integer and Integer-int
  182. v1, v2, v3 = self.Integers(7, 90, -7)
  183. self.failUnless(isinstance(v1 - v2, self.Integer))
  184. self.assertEqual(v2 - v1, 83)
  185. self.assertEqual(v2 - 7, 83)
  186. self.assertEqual(v2 - v3, 97)
  187. self.assertEqual(v1 - (-7), 14)
  188. self.assertEqual(v1 - 2 ** 10, 7 - 2 ** 10)
  189. def test_multiplication(self):
  190. # Test Integer-Integer and Integer-int
  191. v1, v2, v3, v4 = self.Integers(4, 5, -2, 2 ** 10)
  192. self.failUnless(isinstance(v1 * v2, self.Integer))
  193. self.assertEqual(v1 * v2, 20)
  194. self.assertEqual(v1 * 5, 20)
  195. self.assertEqual(v1 * -2, -8)
  196. self.assertEqual(v1 * 2 ** 10, 4 * (2 ** 10))
  197. def test_floor_div(self):
  198. v1, v2, v3 = self.Integers(3, 8, 2 ** 80)
  199. self.failUnless(isinstance(v1 // v2, self.Integer))
  200. self.assertEqual(v2 // v1, 2)
  201. self.assertEqual(v2 // 3, 2)
  202. self.assertEqual(v2 // -3, -3)
  203. self.assertEqual(v3 // 2 ** 79, 2)
  204. self.assertRaises(ZeroDivisionError, lambda: v1 // 0)
  205. def test_remainder(self):
  206. # Test Integer%Integer and Integer%int
  207. v1, v2, v3 = self.Integers(23, 5, -4)
  208. self.failUnless(isinstance(v1 % v2, self.Integer))
  209. self.assertEqual(v1 % v2, 3)
  210. self.assertEqual(v1 % 5, 3)
  211. self.assertEqual(v3 % 5, 1)
  212. self.assertEqual(v1 % 2 ** 10, 23)
  213. self.assertRaises(ZeroDivisionError, lambda: v1 % 0)
  214. self.assertRaises(ValueError, lambda: v1 % -6)
  215. def test_simple_exponentiation(self):
  216. v1, v2, v3 = self.Integers(4, 3, -2)
  217. self.failUnless(isinstance(v1 ** v2, self.Integer))
  218. self.assertEqual(v1 ** v2, 64)
  219. self.assertEqual(pow(v1, v2), 64)
  220. self.assertEqual(v1 ** 3, 64)
  221. self.assertEqual(pow(v1, 3), 64)
  222. self.assertEqual(v3 ** 2, 4)
  223. self.assertEqual(v3 ** 3, -8)
  224. self.assertRaises(ValueError, pow, v1, -3)
  225. def test_modular_exponentiation(self):
  226. v1, v2, v3 = self.Integers(23, 5, 17)
  227. self.failUnless(isinstance(pow(v1, v2, v3), self.Integer))
  228. self.assertEqual(pow(v1, v2, v3), 7)
  229. self.assertEqual(pow(v1, 5, v3), 7)
  230. self.assertEqual(pow(v1, v2, 17), 7)
  231. self.assertEqual(pow(v1, 5, 17), 7)
  232. self.assertEqual(pow(v1, 0, 17), 1)
  233. self.assertEqual(pow(v1, 1, 2 ** 80), 23)
  234. self.assertEqual(pow(v1, 2 ** 80, 89298), 17689)
  235. self.assertRaises(ZeroDivisionError, pow, v1, 5, 0)
  236. self.assertRaises(ValueError, pow, v1, 5, -4)
  237. self.assertRaises(ValueError, pow, v1, -3, 8)
  238. def test_inplace_exponentiation(self):
  239. v1 = self.Integer(4)
  240. v1.inplace_pow(2)
  241. self.assertEqual(v1, 16)
  242. v1 = self.Integer(4)
  243. v1.inplace_pow(2, 15)
  244. self.assertEqual(v1, 1)
  245. def test_abs(self):
  246. v1, v2, v3, v4, v5 = self.Integers(-2 ** 100, -2, 0, 2, 2 ** 100)
  247. self.assertEqual(abs(v1), 2 ** 100)
  248. self.assertEqual(abs(v2), 2)
  249. self.assertEqual(abs(v3), 0)
  250. self.assertEqual(abs(v4), 2)
  251. self.assertEqual(abs(v5), 2 ** 100)
  252. def test_sqrt(self):
  253. v1, v2, v3, v4 = self.Integers(-2, 0, 49, 10**100)
  254. self.assertRaises(ValueError, v1.sqrt)
  255. self.assertEqual(v2.sqrt(), 0)
  256. self.assertEqual(v3.sqrt(), 7)
  257. self.assertEqual(v4.sqrt(), 10**50)
  258. def test_in_place_add(self):
  259. v1, v2 = self.Integers(10, 20)
  260. v1 += v2
  261. self.assertEqual(v1, 30)
  262. v1 += 10
  263. self.assertEqual(v1, 40)
  264. v1 += -1
  265. self.assertEqual(v1, 39)
  266. v1 += 2 ** 1000
  267. self.assertEqual(v1, 39 + 2 ** 1000)
  268. def test_in_place_sub(self):
  269. v1, v2 = self.Integers(10, 20)
  270. v1 -= v2
  271. self.assertEqual(v1, -10)
  272. v1 -= -100
  273. self.assertEqual(v1, 90)
  274. v1 -= 90000
  275. self.assertEqual(v1, -89910)
  276. v1 -= -100000
  277. self.assertEqual(v1, 10090)
  278. def test_in_place_mul(self):
  279. v1, v2 = self.Integers(3, 5)
  280. v1 *= v2
  281. self.assertEqual(v1, 15)
  282. v1 *= 2
  283. self.assertEqual(v1, 30)
  284. v1 *= -2
  285. self.assertEqual(v1, -60)
  286. v1 *= 2 ** 1000
  287. self.assertEqual(v1, -60 * (2 ** 1000))
  288. def test_in_place_modulus(self):
  289. v1, v2 = self.Integers(20, 7)
  290. v1 %= v2
  291. self.assertEqual(v1, 6)
  292. v1 %= 2 ** 1000
  293. self.assertEqual(v1, 6)
  294. v1 %= 2
  295. self.assertEqual(v1, 0)
  296. def t():
  297. v3 = self.Integer(9)
  298. v3 %= 0
  299. self.assertRaises(ZeroDivisionError, t)
  300. def test_and(self):
  301. v1, v2, v3 = self.Integers(0xF4, 0x31, -0xF)
  302. self.failUnless(isinstance(v1 & v2, self.Integer))
  303. self.assertEqual(v1 & v2, 0x30)
  304. self.assertEqual(v1 & 0x31, 0x30)
  305. self.assertEqual(v1 & v3, 0xF0)
  306. self.assertEqual(v1 & -0xF, 0xF0)
  307. self.assertEqual(v3 & -0xF, -0xF)
  308. self.assertEqual(v2 & (2 ** 1000 + 0x31), 0x31)
  309. def test_or(self):
  310. v1, v2, v3 = self.Integers(0x40, 0x82, -0xF)
  311. self.failUnless(isinstance(v1 | v2, self.Integer))
  312. self.assertEqual(v1 | v2, 0xC2)
  313. self.assertEqual(v1 | 0x82, 0xC2)
  314. self.assertEqual(v2 | v3, -0xD)
  315. self.assertEqual(v2 | 2 ** 1000, 2 ** 1000 + 0x82)
  316. def test_right_shift(self):
  317. v1, v2, v3 = self.Integers(0x10, 1, -0x10)
  318. self.assertEqual(v1 >> 0, v1)
  319. self.failUnless(isinstance(v1 >> v2, self.Integer))
  320. self.assertEqual(v1 >> v2, 0x08)
  321. self.assertEqual(v1 >> 1, 0x08)
  322. self.assertEqual(v3 >> 1, -0x08)
  323. self.assertRaises(ValueError, lambda: v1 >> -1)
  324. self.assertRaises(ValueError, lambda: v1 >> (2 ** 1000))
  325. def test_in_place_right_shift(self):
  326. v1, v2, v3 = self.Integers(0x10, 1, -0x10)
  327. v1 >>= 0
  328. self.assertEqual(v1, 0x10)
  329. v1 >>= 1
  330. self.assertEqual(v1, 0x08)
  331. v1 >>= v2
  332. self.assertEqual(v1, 0x04)
  333. v3 >>= 1
  334. self.assertEqual(v3, -0x08)
  335. def l():
  336. v4 = self.Integer(0x90)
  337. v4 >>= -1
  338. self.assertRaises(ValueError, l)
  339. def m():
  340. v4 = self.Integer(0x90)
  341. v4 >>= 2 ** 1000
  342. self.assertRaises(ValueError, m)
  343. def test_left_shift(self):
  344. v1, v2, v3 = self.Integers(0x10, 1, -0x10)
  345. self.assertEqual(v1 << 0, v1)
  346. self.failUnless(isinstance(v1 << v2, self.Integer))
  347. self.assertEqual(v1 << v2, 0x20)
  348. self.assertEqual(v1 << 1, 0x20)
  349. self.assertEqual(v3 << 1, -0x20)
  350. self.assertRaises(ValueError, lambda: v1 << -1)
  351. self.assertRaises(ValueError, lambda: v1 << (2 ** 1000))
  352. def test_in_place_right_shift(self):
  353. v1, v2, v3 = self.Integers(0x10, 1, -0x10)
  354. v1 <<= 0
  355. self.assertEqual(v1, 0x10)
  356. v1 <<= 1
  357. self.assertEqual(v1, 0x20)
  358. v1 <<= v2
  359. self.assertEqual(v1, 0x40)
  360. v3 <<= 1
  361. self.assertEqual(v3, -0x20)
  362. def l():
  363. v4 = self.Integer(0x90)
  364. v4 <<= -1
  365. self.assertRaises(ValueError, l)
  366. def m():
  367. v4 = self.Integer(0x90)
  368. v4 <<= 2 ** 1000
  369. self.assertRaises(ValueError, m)
  370. def test_get_bit(self):
  371. v1, v2, v3 = self.Integers(0x102, -3, 1)
  372. self.assertEqual(v1.get_bit(0), 0)
  373. self.assertEqual(v1.get_bit(1), 1)
  374. self.assertEqual(v1.get_bit(v3), 1)
  375. self.assertEqual(v1.get_bit(8), 1)
  376. self.assertEqual(v2.get_bit(0), 1)
  377. self.assertEqual(v2.get_bit(8), 1)
  378. self.assertRaises(ValueError, v2.get_bit, -1)
  379. self.assertRaises(ValueError, v2.get_bit, 2 ** 1000)
  380. def test_odd_even(self):
  381. v1, v2, v3, v4, v5 = self.Integers(0, 4, 17, -4, -17)
  382. self.failUnless(v1.is_even())
  383. self.failUnless(v2.is_even())
  384. self.failIf(v3.is_even())
  385. self.failUnless(v4.is_even())
  386. self.failIf(v5.is_even())
  387. self.failIf(v1.is_odd())
  388. self.failIf(v2.is_odd())
  389. self.failUnless(v3.is_odd())
  390. self.failIf(v4.is_odd())
  391. self.failUnless(v5.is_odd())
  392. def test_size_in_bits(self):
  393. v1, v2, v3, v4 = self.Integers(0, 1, 0x100, -90)
  394. self.assertEqual(v1.size_in_bits(), 1)
  395. self.assertEqual(v2.size_in_bits(), 1)
  396. self.assertEqual(v3.size_in_bits(), 9)
  397. self.assertRaises(ValueError, v4.size_in_bits)
  398. def test_size_in_bytes(self):
  399. v1, v2, v3, v4, v5, v6 = self.Integers(0, 1, 0xFF, 0x1FF, 0x10000, -9)
  400. self.assertEqual(v1.size_in_bytes(), 1)
  401. self.assertEqual(v2.size_in_bytes(), 1)
  402. self.assertEqual(v3.size_in_bytes(), 1)
  403. self.assertEqual(v4.size_in_bytes(), 2)
  404. self.assertEqual(v5.size_in_bytes(), 3)
  405. self.assertRaises(ValueError, v6.size_in_bits)
  406. def test_perfect_square(self):
  407. self.failIf(self.Integer(-9).is_perfect_square())
  408. self.failUnless(self.Integer(0).is_perfect_square())
  409. self.failUnless(self.Integer(1).is_perfect_square())
  410. self.failIf(self.Integer(2).is_perfect_square())
  411. self.failIf(self.Integer(3).is_perfect_square())
  412. self.failUnless(self.Integer(4).is_perfect_square())
  413. self.failUnless(self.Integer(39*39).is_perfect_square())
  414. self.failIf(self.Integer(39*39+1).is_perfect_square())
  415. for x in xrange(100, 1000):
  416. self.failIf(self.Integer(x**2+1).is_perfect_square())
  417. self.failUnless(self.Integer(x**2).is_perfect_square())
  418. def test_fail_if_divisible_by(self):
  419. v1, v2, v3 = self.Integers(12, -12, 4)
  420. # No failure expected
  421. v1.fail_if_divisible_by(7)
  422. v2.fail_if_divisible_by(7)
  423. v2.fail_if_divisible_by(2 ** 80)
  424. # Failure expected
  425. self.assertRaises(ValueError, v1.fail_if_divisible_by, 4)
  426. self.assertRaises(ValueError, v1.fail_if_divisible_by, v3)
  427. def test_multiply_accumulate(self):
  428. v1, v2, v3 = self.Integers(4, 3, 2)
  429. v1.multiply_accumulate(v2, v3)
  430. self.assertEqual(v1, 10)
  431. v1.multiply_accumulate(v2, 2)
  432. self.assertEqual(v1, 16)
  433. v1.multiply_accumulate(3, v3)
  434. self.assertEqual(v1, 22)
  435. v1.multiply_accumulate(1, -2)
  436. self.assertEqual(v1, 20)
  437. v1.multiply_accumulate(-2, 1)
  438. self.assertEqual(v1, 18)
  439. v1.multiply_accumulate(1, 2 ** 1000)
  440. self.assertEqual(v1, 18 + 2 ** 1000)
  441. v1.multiply_accumulate(2 ** 1000, 1)
  442. self.assertEqual(v1, 18 + 2 ** 1001)
  443. def test_set(self):
  444. v1, v2 = self.Integers(3, 6)
  445. v1.set(v2)
  446. self.assertEqual(v1, 6)
  447. v1.set(9)
  448. self.assertEqual(v1, 9)
  449. v1.set(-2)
  450. self.assertEqual(v1, -2)
  451. v1.set(2 ** 1000)
  452. self.assertEqual(v1, 2 ** 1000)
  453. def test_inverse(self):
  454. v1, v2, v3, v4, v5, v6 = self.Integers(2, 5, -3, 0, 723872, 3433)
  455. self.failUnless(isinstance(v1.inverse(v2), self.Integer))
  456. self.assertEqual(v1.inverse(v2), 3)
  457. self.assertEqual(v1.inverse(5), 3)
  458. self.assertEqual(v3.inverse(5), 3)
  459. self.assertEqual(v5.inverse(92929921), 58610507)
  460. self.assertEqual(v6.inverse(9912), 5353)
  461. self.assertRaises(ValueError, v2.inverse, 10)
  462. self.assertRaises(ValueError, v1.inverse, -3)
  463. self.assertRaises(ValueError, v4.inverse, 10)
  464. self.assertRaises(ZeroDivisionError, v2.inverse, 0)
  465. def test_inplace_inverse(self):
  466. v1, v2 = self.Integers(2, 5)
  467. v1.inplace_inverse(v2)
  468. self.assertEqual(v1, 3)
  469. def test_gcd(self):
  470. v1, v2, v3, v4 = self.Integers(6, 10, 17, -2)
  471. self.failUnless(isinstance(v1.gcd(v2), self.Integer))
  472. self.assertEqual(v1.gcd(v2), 2)
  473. self.assertEqual(v1.gcd(10), 2)
  474. self.assertEqual(v1.gcd(v3), 1)
  475. self.assertEqual(v1.gcd(-2), 2)
  476. self.assertEqual(v4.gcd(6), 2)
  477. def test_lcm(self):
  478. v1, v2, v3, v4, v5 = self.Integers(6, 10, 17, -2, 0)
  479. self.failUnless(isinstance(v1.lcm(v2), self.Integer))
  480. self.assertEqual(v1.lcm(v2), 30)
  481. self.assertEqual(v1.lcm(10), 30)
  482. self.assertEqual(v1.lcm(v3), 102)
  483. self.assertEqual(v1.lcm(-2), 6)
  484. self.assertEqual(v4.lcm(6), 6)
  485. self.assertEqual(v1.lcm(0), 0)
  486. self.assertEqual(v5.lcm(0), 0)
  487. def test_jacobi_symbol(self):
  488. data = (
  489. (1001, 1, 1),
  490. (19, 45, 1),
  491. (8, 21, -1),
  492. (5, 21, 1),
  493. (610, 987, -1),
  494. (1001, 9907, -1),
  495. (5, 3439601197, -1)
  496. )
  497. js = self.Integer.jacobi_symbol
  498. for tv in data:
  499. self.assertEqual(js(tv[0], tv[1]), tv[2])
  500. self.assertEqual(js(self.Integer(tv[0]), tv[1]), tv[2])
  501. self.assertEqual(js(tv[0], self.Integer(tv[1])), tv[2])
  502. self.assertRaises(ValueError, js, 6, 8)
  503. class TestIntegerInt(TestIntegerBase):
  504. def setUp(self):
  505. self.Numbers = NumbersInt
  506. self.Integer = NumbersInt.Integer
  507. TestIntegerBase.setUp(self)
  508. class TestIntegerGeneric(unittest.TestCase):
  509. def test_random_exact_bits(self):
  510. for _ in xrange(1000):
  511. a = IntegerGeneric.random(exact_bits=8)
  512. self.failIf(a < 128)
  513. self.failIf(a >= 256)
  514. for bits_value in xrange(1024, 1024 + 8):
  515. a = IntegerGeneric.random(exact_bits=bits_value)
  516. self.failIf(a < 2**(bits_value - 1))
  517. self.failIf(a >= 2**bits_value)
  518. def test_random_max_bits(self):
  519. flag = False
  520. for _ in xrange(1000):
  521. a = IntegerGeneric.random(max_bits=8)
  522. flag = flag or a < 128
  523. self.failIf(a>=256)
  524. self.failUnless(flag)
  525. for bits_value in xrange(1024, 1024 + 8):
  526. a = IntegerGeneric.random(max_bits=bits_value)
  527. self.failIf(a >= 2**bits_value)
  528. def test_random_bits_custom_rng(self):
  529. class CustomRNG(object):
  530. def __init__(self):
  531. self.counter = 0
  532. def __call__(self, size):
  533. self.counter += size
  534. return bchr(0) * size
  535. custom_rng = CustomRNG()
  536. a = IntegerGeneric.random(exact_bits=32, randfunc=custom_rng)
  537. self.assertEqual(custom_rng.counter, 4)
  538. def test_random_range(self):
  539. func = IntegerGeneric.random_range
  540. for x in xrange(200):
  541. a = func(min_inclusive=1, max_inclusive=15)
  542. self.failUnless(1 <= a <= 15)
  543. for x in xrange(200):
  544. a = func(min_inclusive=1, max_exclusive=15)
  545. self.failUnless(1 <= a < 15)
  546. self.assertRaises(ValueError, func, min_inclusive=1, max_inclusive=2,
  547. max_exclusive=3)
  548. self.assertRaises(ValueError, func, max_inclusive=2, max_exclusive=3)
  549. def get_tests(config={}):
  550. tests = []
  551. tests += list_test_cases(TestIntegerInt)
  552. try:
  553. from Crypto.Math import _Numbers_gmp as NumbersGMP
  554. class TestIntegerGMP(TestIntegerBase):
  555. def setUp(self):
  556. self.Numbers = NumbersGMP
  557. self.Integer = NumbersGMP.Integer
  558. TestIntegerBase.setUp(self)
  559. tests += list_test_cases(TestIntegerGMP)
  560. except (ImportError, OSError), e:
  561. import sys
  562. sys.stdout.write("Skipping GMP tests (%s)\n" % str(e) )
  563. tests += list_test_cases(TestIntegerGeneric)
  564. return tests
  565. if __name__ == '__main__':
  566. suite = lambda: unittest.TestSuite(get_tests())
  567. unittest.main(defaultTest='suite')