| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | # | 
					
						
							|  |  |  | #  SelfTest/Math/test_Numbers.py: Self-test for Numbers module | 
					
						
							|  |  |  | # | 
					
						
							|  |  |  | # =================================================================== | 
					
						
							|  |  |  | # | 
					
						
							|  |  |  | # Copyright (c) 2014, Legrandin <helderijs@gmail.com> | 
					
						
							|  |  |  | # All rights reserved. | 
					
						
							|  |  |  | # | 
					
						
							|  |  |  | # Redistribution and use in source and binary forms, with or without | 
					
						
							|  |  |  | # modification, are permitted provided that the following conditions | 
					
						
							|  |  |  | # are met: | 
					
						
							|  |  |  | # | 
					
						
							|  |  |  | # 1. Redistributions of source code must retain the above copyright | 
					
						
							|  |  |  | #    notice, this list of conditions and the following disclaimer. | 
					
						
							|  |  |  | # 2. Redistributions in binary form must reproduce the above copyright | 
					
						
							|  |  |  | #    notice, this list of conditions and the following disclaimer in | 
					
						
							|  |  |  | #    the documentation and/or other materials provided with the | 
					
						
							|  |  |  | #    distribution. | 
					
						
							|  |  |  | # | 
					
						
							|  |  |  | # THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | 
					
						
							|  |  |  | # "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | 
					
						
							|  |  |  | # LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS | 
					
						
							|  |  |  | # FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE | 
					
						
							|  |  |  | # COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, | 
					
						
							|  |  |  | # INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, | 
					
						
							|  |  |  | # BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; | 
					
						
							|  |  |  | # LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER | 
					
						
							|  |  |  | # CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT | 
					
						
							|  |  |  | # LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN | 
					
						
							|  |  |  | # ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE | 
					
						
							|  |  |  | # POSSIBILITY OF SUCH DAMAGE. | 
					
						
							|  |  |  | # =================================================================== | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | """Self-test for Math.Numbers""" | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | import unittest | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | from Crypto.SelfTest.st_common import list_test_cases | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-09-10 07:47:08 +02:00
										 |  |  | from Crypto.Util.py3compat import * | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  | from Crypto.Math.Numbers import Integer as IntegerGeneric | 
					
						
							|  |  |  | from Crypto.Math import _Numbers_int as NumbersInt | 
					
						
							|  |  |  | from Crypto.Math import _Numbers_gmp as NumbersGMP | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  | class TestIntegerBase(unittest.TestCase): | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  |     def setUp(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         if not hasattr(self, "Integer"): | 
					
						
							|  |  |  |             from Crypto.Math.Numbers import Integer as IntegerDefault | 
					
						
							|  |  |  |             self.Integer = IntegerDefault | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |     def Integers(self, *arg): | 
					
						
							|  |  |  |         return map(self.Integer, arg) | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-09-10 07:47:08 +02:00
										 |  |  |     def test_init_and_equality(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         Integer = self.Integer | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v1 = Integer(23) | 
					
						
							|  |  |  |         v2 = Integer(v1) | 
					
						
							|  |  |  |         v3 = Integer(-9) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, Integer, 1.0) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v4 = Integer(10**10) | 
					
						
							|  |  |  |         self.failUnless(v1 == v1) | 
					
						
							|  |  |  |         self.failUnless(v1 == v2) | 
					
						
							|  |  |  |         self.failIf(v1 == v4) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-29 21:58:49 +01:00
										 |  |  |         self.failIf(Integer(0) == None) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |     def test_conversion_to_int(self): | 
					
						
							|  |  |  |         v1, v2 = self.Integers(-23, 2 ** 1000) | 
					
						
							|  |  |  |         self.assertEqual(int(v1), -23) | 
					
						
							|  |  |  |         self.assertEqual(int(v2), 2 ** 1000) | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |     def test_equality_with_ints(self): | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1, v2, v3 = self.Integers(23, -89, 2 ** 1000) | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.failUnless(v1 == 23) | 
					
						
							|  |  |  |         self.failUnless(v2 == -89) | 
					
						
							|  |  |  |         self.failIf(v1 == 24) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.failUnless(v3 == 2 ** 1000) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |     def test_conversion_to_str(self): | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1, v2, v3, v4 = self.Integers(20, 0, -20, 2 ** 1000) | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.failUnless(str(v1) == "20") | 
					
						
							|  |  |  |         self.failUnless(str(v2) == "0") | 
					
						
							|  |  |  |         self.failUnless(str(v3) == "-20") | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.failUnless(str(v4) == "10715086071862673209484250490600018105614048117055336074437503883703510511249361224931983788156958581275946729175531468251871452856923140435984577574698574803934567774824230985421074605062371141877954182153046474983581941267398767559165543946077062914571196477686542167660429831652624386837205668069376") | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-27 20:45:23 +01:00
										 |  |  |     def test_repr(self): | 
					
						
							|  |  |  |         v1, v2 = self.Integers(-1, 2**80) | 
					
						
							|  |  |  |         self.assertEqual(repr(v1), "Integer(-1)") | 
					
						
							|  |  |  |         self.assertEqual(repr(v2), "Integer(1208925819614629174706176)") | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |     def test_conversion_to_bytes(self): | 
					
						
							|  |  |  |         Integer = self.Integer | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v1 = Integer(0x17) | 
					
						
							|  |  |  |         self.assertEqual(b("\x17"), v1.to_bytes()) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v2 = Integer(0xFFFF) | 
					
						
							|  |  |  |         self.assertEqual(b("\xFF\xFF"), v2.to_bytes()) | 
					
						
							|  |  |  |         self.assertEqual(b("\x00\xFF\xFF"), v2.to_bytes(3)) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, v2.to_bytes, 1) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v3 = Integer(-90) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, v3.to_bytes) | 
					
						
							| 
									
										
										
										
											2014-09-10 07:47:08 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_conversion_from_bytes(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         Integer = self.Integer | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v1 = Integer.from_bytes(b("\x00")) | 
					
						
							|  |  |  |         self.assertEqual(0, v1) | 
					
						
							| 
									
										
										
										
											2014-09-10 07:47:08 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v2 = Integer.from_bytes(b("\x00\x00")) | 
					
						
							|  |  |  |         self.assertEqual(0, v2) | 
					
						
							| 
									
										
										
										
											2014-09-10 07:47:08 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v3 = Integer.from_bytes(b("\xFF\xFF")) | 
					
						
							|  |  |  |         self.assertEqual(0xFFFF, v3) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_inequality(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         # Test Integer!=Integer and Integer!=int | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1, v2, v3, v4 = self.Integers(89, 89, 90, -8) | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.failUnless(v1 != v3) | 
					
						
							|  |  |  |         self.failUnless(v1 != 90) | 
					
						
							|  |  |  |         self.failIf(v1 != v2) | 
					
						
							|  |  |  |         self.failIf(v1 != 89) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.failUnless(v1 != v4) | 
					
						
							|  |  |  |         self.failUnless(v4 != v1) | 
					
						
							| 
									
										
										
										
											2014-11-29 21:58:49 +01:00
										 |  |  |         self.failUnless(self.Integer(0) != None) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_less_than(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         # Test Integer<Integer and Integer<int | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1, v2, v3, v4, v5 = self.Integers(13, 13, 14, -8, 2 ** 10) | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.failUnless(v1 < v3) | 
					
						
							|  |  |  |         self.failUnless(v1 < 14) | 
					
						
							|  |  |  |         self.failIf(v1 < v2) | 
					
						
							|  |  |  |         self.failIf(v1 < 13) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.failUnless(v4 < v1) | 
					
						
							|  |  |  |         self.failIf(v1 < v4) | 
					
						
							|  |  |  |         self.failUnless(v1 < v5) | 
					
						
							|  |  |  |         self.failIf(v5 < v1) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  |     def test_less_than_or_equal(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         # Test Integer<=Integer and Integer<=int | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1, v2, v3, v4, v5 = self.Integers(13, 13, 14, -4, 2 ** 10) | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.failUnless(v1 <= v1) | 
					
						
							|  |  |  |         self.failUnless(v1 <= 13) | 
					
						
							|  |  |  |         self.failUnless(v1 <= v2) | 
					
						
							|  |  |  |         self.failUnless(v1 <= 14) | 
					
						
							|  |  |  |         self.failUnless(v1 <= v3) | 
					
						
							|  |  |  |         self.failIf(v1 <= v4) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.failUnless(v1 <= v5) | 
					
						
							|  |  |  |         self.failIf(v5 <= v1) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_more_than(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         # Test Integer>Integer and Integer>int | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1, v2, v3, v4, v5 = self.Integers(13, 13, 14, -8, 2 ** 10) | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.failUnless(v3 > v1) | 
					
						
							|  |  |  |         self.failUnless(v3 > 13) | 
					
						
							|  |  |  |         self.failIf(v1 > v1) | 
					
						
							|  |  |  |         self.failIf(v1 > v2) | 
					
						
							|  |  |  |         self.failIf(v1 > 13) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.failUnless(v1 > v4) | 
					
						
							|  |  |  |         self.failIf(v4 > v1) | 
					
						
							|  |  |  |         self.failUnless(v5 > v1) | 
					
						
							|  |  |  |         self.failIf(v1 > v5) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_more_than_or_equal(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         # Test Integer>=Integer and Integer>=int | 
					
						
							|  |  |  |         v1, v2, v3, v4 = self.Integers(13, 13, 14, -4) | 
					
						
							|  |  |  |         self.failUnless(v3 >= v1) | 
					
						
							|  |  |  |         self.failUnless(v3 >= 13) | 
					
						
							|  |  |  |         self.failUnless(v1 >= v2) | 
					
						
							|  |  |  |         self.failUnless(v1 >= v1) | 
					
						
							|  |  |  |         self.failUnless(v1 >= 13) | 
					
						
							|  |  |  |         self.failIf(v4 >= v1) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_bool(self): | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1, v2, v3, v4 = self.Integers(0, 10, -9, 2 ** 10) | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.failIf(v1) | 
					
						
							|  |  |  |         self.failIf(bool(v1)) | 
					
						
							|  |  |  |         self.failUnless(v2) | 
					
						
							|  |  |  |         self.failUnless(bool(v2)) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.failUnless(v3) | 
					
						
							|  |  |  |         self.failUnless(v4) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-26 12:06:39 +01:00
										 |  |  |     def test_is_negative(self): | 
					
						
							|  |  |  |         v1, v2, v3 = self.Integers(-3, 0, 3) | 
					
						
							|  |  |  |         self.failUnless(v1.is_negative()) | 
					
						
							|  |  |  |         self.failIf(v2.is_negative()) | 
					
						
							|  |  |  |         self.failIf(v3.is_negative()) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  |     def test_addition(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         # Test Integer+Integer and Integer+int | 
					
						
							|  |  |  |         v1, v2, v3 = self.Integers(7, 90, -7) | 
					
						
							|  |  |  |         self.assertEqual(v1 + v2, 97) | 
					
						
							|  |  |  |         self.assertEqual(v1 + 90, 97) | 
					
						
							|  |  |  |         self.assertEqual(v1 + v3, 0) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.assertEqual(v1 + (-7), 0) | 
					
						
							|  |  |  |         self.assertEqual(v1 + 2 ** 10, 2 ** 10 + 7) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_subtraction(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         # Test Integer-Integer and Integer-int | 
					
						
							|  |  |  |         v1, v2, v3 = self.Integers(7, 90, -7) | 
					
						
							|  |  |  |         self.assertEqual(v2 - v1, 83) | 
					
						
							|  |  |  |         self.assertEqual(v2 - 7, 83) | 
					
						
							|  |  |  |         self.assertEqual(v2 - v3, 97) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.assertEqual(v1 - (-7), 14) | 
					
						
							|  |  |  |         self.assertEqual(v1 - 2 ** 10, 7 - 2 ** 10) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  |     def test_multiplication(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         # Test Integer-Integer and Integer-int | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1, v2, v3, v4 = self.Integers(4, 5, -2, 2 ** 10) | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.assertEqual(v1 * v2, 20) | 
					
						
							|  |  |  |         self.assertEqual(v1 * 5, 20) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.assertEqual(v1 * -2, -8) | 
					
						
							|  |  |  |         self.assertEqual(v1 * 2 ** 10, 4 * (2 ** 10)) | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-28 10:06:03 -05:00
										 |  |  |     def test_floor_div(self): | 
					
						
							|  |  |  |         v1, v2, v3 = self.Integers(3, 8, 2 ** 80) | 
					
						
							|  |  |  |         self.assertEqual(v2 // v1, 2) | 
					
						
							|  |  |  |         self.assertEqual(v2 // 3, 2) | 
					
						
							|  |  |  |         self.assertEqual(v2 // -3, -3) | 
					
						
							|  |  |  |         self.assertEqual(v3 // 2 ** 79, 2) | 
					
						
							|  |  |  |         self.assertRaises(ZeroDivisionError, lambda: v1 // 0) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  |     def test_remainder(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         # Test Integer%Integer and Integer%int | 
					
						
							|  |  |  |         v1, v2, v3 = self.Integers(23, 5, -4) | 
					
						
							|  |  |  |         self.assertEqual(v1 % v2, 3) | 
					
						
							|  |  |  |         self.assertEqual(v1 % 5, 3) | 
					
						
							|  |  |  |         self.assertEqual(v3 % 5, 1) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.assertEqual(v1 % 2 ** 10, 23) | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.assertRaises(ZeroDivisionError, lambda: v1 % 0) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, lambda: v1 % -6) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  |     def test_simple_exponentiation(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v1, v2, v3 = self.Integers(4, 3, -2) | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.assertEqual(v1 ** v2, 64) | 
					
						
							|  |  |  |         self.assertEqual(pow(v1, v2), 64) | 
					
						
							|  |  |  |         self.assertEqual(v1 ** 3, 64) | 
					
						
							|  |  |  |         self.assertEqual(pow(v1, 3), 64) | 
					
						
							|  |  |  |         self.assertEqual(v3 ** 2, 4) | 
					
						
							|  |  |  |         self.assertEqual(v3 ** 3, -8) | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.assertRaises(ValueError, pow, v1, -3) | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_modular_exponentiation(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v1, v2, v3 = self.Integers(23, 5, 17) | 
					
						
							| 
									
										
										
										
											2014-09-21 21:28:59 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.assertEqual(pow(v1, v2, v3), 7) | 
					
						
							|  |  |  |         self.assertEqual(pow(v1, 5,  v3), 7) | 
					
						
							|  |  |  |         self.assertEqual(pow(v1, v2, 17), 7) | 
					
						
							|  |  |  |         self.assertEqual(pow(v1, 5,  17), 7) | 
					
						
							|  |  |  |         self.assertEqual(pow(v1, 0,  17), 1) | 
					
						
							| 
									
										
										
										
											2014-11-27 20:45:23 +01:00
										 |  |  |         self.assertEqual(pow(v1, 1,  2 ** 80), 23) | 
					
						
							|  |  |  |         self.assertEqual(pow(v1, 2 ** 80,  89298), 17689) | 
					
						
							| 
									
										
										
										
											2014-09-21 21:28:59 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.assertRaises(ZeroDivisionError, pow, v1, 5, 0) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, pow, v1, 5, -4) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, pow, v1, -3, 8) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-22 18:43:24 +01:00
										 |  |  |     def test_in_place_add(self): | 
					
						
							|  |  |  |         v1, v2 = self.Integers(10, 20) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         v1 += v2 | 
					
						
							|  |  |  |         self.assertEqual(v1, 30) | 
					
						
							|  |  |  |         v1 += 10 | 
					
						
							|  |  |  |         self.assertEqual(v1, 40) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1 += -1 | 
					
						
							|  |  |  |         self.assertEqual(v1, 39) | 
					
						
							|  |  |  |         v1 += 2 ** 1000 | 
					
						
							|  |  |  |         self.assertEqual(v1, 39 + 2 ** 1000) | 
					
						
							| 
									
										
										
										
											2014-11-22 18:43:24 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_in_place_mul(self): | 
					
						
							|  |  |  |         v1, v2 = self.Integers(3, 5) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         v1 *= v2 | 
					
						
							|  |  |  |         self.assertEqual(v1, 15) | 
					
						
							|  |  |  |         v1 *= 2 | 
					
						
							|  |  |  |         self.assertEqual(v1, 30) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1 *= -2 | 
					
						
							|  |  |  |         self.assertEqual(v1, -60) | 
					
						
							|  |  |  |         v1 *= 2 ** 1000 | 
					
						
							|  |  |  |         self.assertEqual(v1, -60 * (2 ** 1000)) | 
					
						
							| 
									
										
										
										
											2014-11-22 18:43:24 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_in_place_modulus(self): | 
					
						
							|  |  |  |         v1, v2 = self.Integers(20, 7) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         v1 %= v2 | 
					
						
							|  |  |  |         self.assertEqual(v1, 6) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1 %= 2 ** 1000 | 
					
						
							|  |  |  |         self.assertEqual(v1, 6) | 
					
						
							| 
									
										
										
										
											2014-11-22 18:43:24 +01:00
										 |  |  |         v1 %= 2 | 
					
						
							|  |  |  |         self.assertEqual(v1, 0) | 
					
						
							|  |  |  |         def t(): | 
					
						
							|  |  |  |             v3 = self.Integer(9) | 
					
						
							|  |  |  |             v3 %= 0 | 
					
						
							|  |  |  |         self.assertRaises(ZeroDivisionError, t) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  |     def test_and(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v1, v2, v3 = self.Integers(0xF4, 0x31, -0xF) | 
					
						
							|  |  |  |         self.assertEqual(v1 & v2, 0x30) | 
					
						
							|  |  |  |         self.assertEqual(v1 & 0x31, 0x30) | 
					
						
							|  |  |  |         self.assertEqual(v1 & v3, 0xF0) | 
					
						
							|  |  |  |         self.assertEqual(v1 & -0xF, 0xF0) | 
					
						
							|  |  |  |         self.assertEqual(v3 & -0xF, -0xF) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.assertEqual(v2 & (2 ** 1000 + 0x31), 0x31) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-16 22:05:16 +01:00
										 |  |  |     def test_or(self): | 
					
						
							|  |  |  |         v1, v2, v3 = self.Integers(0x40, 0x82, -0xF) | 
					
						
							|  |  |  |         self.assertEqual(v1 | v2, 0xC2) | 
					
						
							|  |  |  |         self.assertEqual(v1 | 0x82, 0xC2) | 
					
						
							|  |  |  |         self.assertEqual(v2 | v3, -0xD) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.assertEqual(v2 | 2 ** 1000, 2 ** 1000 + 0x82) | 
					
						
							| 
									
										
										
										
											2014-11-16 22:05:16 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  |     def test_right_shift(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v1, v2, v3 = self.Integers(0x10, 1, -0x10) | 
					
						
							|  |  |  |         self.assertEqual(v1 >> 0, v1) | 
					
						
							|  |  |  |         self.assertEqual(v1 >> v2, 0x08) | 
					
						
							|  |  |  |         self.assertEqual(v1 >> 1, 0x08) | 
					
						
							|  |  |  |         self.assertEqual(v3 >> 1, -0x08) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, lambda: v1 >> -1) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.assertRaises(ValueError, lambda: v1 >> (2 ** 1000)) | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  |     def test_in_place_right_shift(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v1, v2, v3 = self.Integers(0x10, 1, -0x10) | 
					
						
							|  |  |  |         v1 >>= 0 | 
					
						
							|  |  |  |         self.assertEqual(v1, 0x10) | 
					
						
							|  |  |  |         v1 >>= 1 | 
					
						
							|  |  |  |         self.assertEqual(v1, 0x08) | 
					
						
							|  |  |  |         v1 >>= v2 | 
					
						
							|  |  |  |         self.assertEqual(v1, 0x04) | 
					
						
							|  |  |  |         v3 >>= 1 | 
					
						
							|  |  |  |         self.assertEqual(v3, -0x08) | 
					
						
							|  |  |  |         def l(): | 
					
						
							|  |  |  |             v4 = self.Integer(0x90) | 
					
						
							|  |  |  |             v4 >>= -1 | 
					
						
							|  |  |  |         self.assertRaises(ValueError, l) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         def m(): | 
					
						
							|  |  |  |             v4 = self.Integer(0x90) | 
					
						
							|  |  |  |             v4 >>= 2 ** 1000 | 
					
						
							|  |  |  |         self.assertRaises(ValueError, m) | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-28 10:06:03 -05:00
										 |  |  |     def test_left_shift(self): | 
					
						
							|  |  |  |         v1, v2, v3 = self.Integers(0x10, 1, -0x10) | 
					
						
							|  |  |  |         self.assertEqual(v1 << 0, v1) | 
					
						
							|  |  |  |         self.assertEqual(v1 << v2, 0x20) | 
					
						
							|  |  |  |         self.assertEqual(v1 << 1, 0x20) | 
					
						
							|  |  |  |         self.assertEqual(v3 << 1, -0x20) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, lambda: v1 << -1) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, lambda: v1 << (2 ** 1000)) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_in_place_right_shift(self): | 
					
						
							|  |  |  |         v1, v2, v3 = self.Integers(0x10, 1, -0x10) | 
					
						
							|  |  |  |         v1 <<= 0 | 
					
						
							|  |  |  |         self.assertEqual(v1, 0x10) | 
					
						
							|  |  |  |         v1 <<= 1 | 
					
						
							|  |  |  |         self.assertEqual(v1, 0x20) | 
					
						
							|  |  |  |         v1 <<= v2 | 
					
						
							|  |  |  |         self.assertEqual(v1, 0x40) | 
					
						
							|  |  |  |         v3 <<= 1 | 
					
						
							|  |  |  |         self.assertEqual(v3, -0x20) | 
					
						
							|  |  |  |         def l(): | 
					
						
							|  |  |  |             v4 = self.Integer(0x90) | 
					
						
							|  |  |  |             v4 <<= -1 | 
					
						
							|  |  |  |         self.assertRaises(ValueError, l) | 
					
						
							|  |  |  |         def m(): | 
					
						
							|  |  |  |             v4 = self.Integer(0x90) | 
					
						
							|  |  |  |             v4 <<= 2 ** 1000 | 
					
						
							|  |  |  |         self.assertRaises(ValueError, m) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-22 18:43:24 +01:00
										 |  |  |     def test_get_bit(self): | 
					
						
							|  |  |  |         v1, v2, v3 = self.Integers(0x102, -3, 1) | 
					
						
							|  |  |  |         self.assertEqual(v1.get_bit(0), 0) | 
					
						
							|  |  |  |         self.assertEqual(v1.get_bit(1), 1) | 
					
						
							|  |  |  |         self.assertEqual(v1.get_bit(v3), 1) | 
					
						
							|  |  |  |         self.assertEqual(v1.get_bit(8), 1) | 
					
						
							|  |  |  |         self.assertEqual(v2.get_bit(0), 1) | 
					
						
							|  |  |  |         self.assertEqual(v2.get_bit(8), 1) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         self.assertRaises(ValueError, v2.get_bit, -1) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, v2.get_bit, 2 ** 1000) | 
					
						
							| 
									
										
										
										
											2014-11-22 18:43:24 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  |     def test_odd_even(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         v1, v2, v3, v4, v5 = self.Integers(0, 4, 17, -4, -17) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.failUnless(v1.is_even()) | 
					
						
							|  |  |  |         self.failUnless(v2.is_even()) | 
					
						
							|  |  |  |         self.failIf(v3.is_even()) | 
					
						
							|  |  |  |         self.failUnless(v4.is_even()) | 
					
						
							|  |  |  |         self.failIf(v5.is_even()) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.failIf(v1.is_odd()) | 
					
						
							|  |  |  |         self.failIf(v2.is_odd()) | 
					
						
							|  |  |  |         self.failUnless(v3.is_odd()) | 
					
						
							|  |  |  |         self.failIf(v4.is_odd()) | 
					
						
							|  |  |  |         self.failUnless(v5.is_odd()) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_size_in_bits(self): | 
					
						
							|  |  |  |         v1, v2, v3, v4 = self.Integers(0, 1, 0x100, -90) | 
					
						
							|  |  |  |         self.assertEqual(v1.size_in_bits(), 1) | 
					
						
							|  |  |  |         self.assertEqual(v2.size_in_bits(), 1) | 
					
						
							|  |  |  |         self.assertEqual(v3.size_in_bits(), 9) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, v4.size_in_bits) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-10-12 14:55:38 +02:00
										 |  |  |     def test_perfect_square(self): | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.failIf(self.Integer(-9).is_perfect_square()) | 
					
						
							|  |  |  |         self.failUnless(self.Integer(0).is_perfect_square()) | 
					
						
							|  |  |  |         self.failUnless(self.Integer(1).is_perfect_square()) | 
					
						
							|  |  |  |         self.failIf(self.Integer(2).is_perfect_square()) | 
					
						
							|  |  |  |         self.failIf(self.Integer(3).is_perfect_square()) | 
					
						
							|  |  |  |         self.failUnless(self.Integer(4).is_perfect_square()) | 
					
						
							|  |  |  |         self.failUnless(self.Integer(39*39).is_perfect_square()) | 
					
						
							|  |  |  |         self.failIf(self.Integer(39*39+1).is_perfect_square()) | 
					
						
							| 
									
										
										
										
											2014-10-12 14:55:38 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |         for x in xrange(100, 1000): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |             self.failIf(self.Integer(x**2+1).is_perfect_square()) | 
					
						
							|  |  |  |             self.failUnless(self.Integer(x**2).is_perfect_square()) | 
					
						
							| 
									
										
										
										
											2014-10-12 14:55:38 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-26 12:06:39 +01:00
										 |  |  |     def test_fail_if_divisible_by(self): | 
					
						
							|  |  |  |         v1, v2, v3 = self.Integers(12, -12, 4) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         # No failure expected | 
					
						
							|  |  |  |         v1.fail_if_divisible_by(7) | 
					
						
							|  |  |  |         v2.fail_if_divisible_by(7) | 
					
						
							|  |  |  |         v2.fail_if_divisible_by(2 ** 80) | 
					
						
							| 
									
										
										
										
											2014-11-19 20:54:54 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-26 12:06:39 +01:00
										 |  |  |         # Failure expected | 
					
						
							|  |  |  |         self.assertRaises(ValueError, v1.fail_if_divisible_by, 4) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, v1.fail_if_divisible_by, v3) | 
					
						
							| 
									
										
										
										
											2014-11-19 20:54:54 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-22 18:43:24 +01:00
										 |  |  |     def test_multiply_accumulate(self): | 
					
						
							|  |  |  |         v1, v2, v3 = self.Integers(4, 3, 2) | 
					
						
							|  |  |  |         v1.multiply_accumulate(v2, v3) | 
					
						
							|  |  |  |         self.assertEqual(v1, 10) | 
					
						
							|  |  |  |         v1.multiply_accumulate(v2, 2) | 
					
						
							|  |  |  |         self.assertEqual(v1, 16) | 
					
						
							|  |  |  |         v1.multiply_accumulate(3, v3) | 
					
						
							|  |  |  |         self.assertEqual(v1, 22) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1.multiply_accumulate(1, -2) | 
					
						
							|  |  |  |         self.assertEqual(v1, 20) | 
					
						
							|  |  |  |         v1.multiply_accumulate(-2, 1) | 
					
						
							|  |  |  |         self.assertEqual(v1, 18) | 
					
						
							|  |  |  |         v1.multiply_accumulate(1, 2 ** 1000) | 
					
						
							|  |  |  |         self.assertEqual(v1, 18 + 2 ** 1000) | 
					
						
							|  |  |  |         v1.multiply_accumulate(2 ** 1000, 1) | 
					
						
							|  |  |  |         self.assertEqual(v1, 18 + 2 ** 1001) | 
					
						
							| 
									
										
										
										
											2014-11-22 18:43:24 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_set(self): | 
					
						
							|  |  |  |         v1, v2 = self.Integers(3, 6) | 
					
						
							|  |  |  |         v1.set(v2) | 
					
						
							|  |  |  |         self.assertEqual(v1, 6) | 
					
						
							|  |  |  |         v1.set(9) | 
					
						
							|  |  |  |         self.assertEqual(v1, 9) | 
					
						
							| 
									
										
										
										
											2014-11-25 22:13:59 +01:00
										 |  |  |         v1.set(-2) | 
					
						
							|  |  |  |         self.assertEqual(v1, -2) | 
					
						
							|  |  |  |         v1.set(2 ** 1000) | 
					
						
							|  |  |  |         self.assertEqual(v1, 2 ** 1000) | 
					
						
							| 
									
										
										
										
											2014-11-22 18:43:24 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-28 10:06:03 -05:00
										 |  |  |     def test_inverse(self): | 
					
						
							|  |  |  |         v1, v2, v3, v4, v5, v6 = self.Integers(2, 5, -3, 0, 723872, 3433) | 
					
						
							|  |  |  |         self.assertEqual(v1.inverse(v2), 3) | 
					
						
							|  |  |  |         self.assertEqual(v1.inverse(5), 3) | 
					
						
							|  |  |  |         self.assertEqual(v3.inverse(5), 3) | 
					
						
							|  |  |  |         self.assertEqual(v5.inverse(92929921), 58610507) | 
					
						
							|  |  |  |         self.assertEqual(v6.inverse(9912), 5353) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         self.assertRaises(ValueError, v2.inverse, 10) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, v1.inverse, -3) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, v4.inverse, 10) | 
					
						
							|  |  |  |         self.assertRaises(ZeroDivisionError, v2.inverse, 0) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_gcd(self): | 
					
						
							|  |  |  |         v1, v2, v3, v4 = self.Integers(6, 10, 17, -2) | 
					
						
							|  |  |  |         self.assertEqual(v1.gcd(v2), 2) | 
					
						
							|  |  |  |         self.assertEqual(v1.gcd(10), 2) | 
					
						
							|  |  |  |         self.assertEqual(v1.gcd(v3), 1) | 
					
						
							|  |  |  |         self.assertEqual(v1.gcd(-2), 2) | 
					
						
							|  |  |  |         self.assertEqual(v4.gcd(6), 2) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  |     def test_jacobi_symbol(self): | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         data = ( | 
					
						
							|  |  |  |             (1001, 1, 1), | 
					
						
							|  |  |  |             (19, 45, 1), | 
					
						
							|  |  |  |             (8, 21, -1), | 
					
						
							|  |  |  |             (5, 21, 1), | 
					
						
							|  |  |  |             (610, 987, -1), | 
					
						
							|  |  |  |             (1001, 9907, -1), | 
					
						
							|  |  |  |             (5, 3439601197, -1) | 
					
						
							|  |  |  |             ) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         js = self.Integer.jacobi_symbol | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  |         for tv in data: | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |             self.assertEqual(js(tv[0], tv[1]), tv[2]) | 
					
						
							|  |  |  |             self.assertEqual(js(self.Integer(tv[0]), tv[1]), tv[2]) | 
					
						
							|  |  |  |             self.assertEqual(js(tv[0], self.Integer(tv[1])), tv[2]) | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.assertRaises(ValueError, js, 6, 8) | 
					
						
							| 
									
										
										
										
											2014-10-12 21:45:11 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  | class TestIntegerInt(TestIntegerBase): | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def setUp(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.Numbers = NumbersInt | 
					
						
							|  |  |  |         self.Integer = NumbersInt.Integer | 
					
						
							|  |  |  |         TestIntegerBase.setUp(self) | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  | class TestIntegerGMP(TestIntegerBase): | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def setUp(self): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         self.Numbers = NumbersGMP | 
					
						
							|  |  |  |         self.Integer = NumbersGMP.Integer | 
					
						
							|  |  |  |         TestIntegerBase.setUp(self) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  | class TestIntegerGeneric(unittest.TestCase): | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_random_exact_bits(self): | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         for _ in xrange(1000): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |             a = IntegerGeneric.random(exact_bits=8) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  |             self.failIf(a < 128) | 
					
						
							|  |  |  |             self.failIf(a >= 256) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         for bits_value in xrange(1024, 1024 + 8): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |             a = IntegerGeneric.random(exact_bits=bits_value) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  |             self.failIf(a < 2**(bits_value - 1)) | 
					
						
							|  |  |  |             self.failIf(a >= 2**bits_value) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_random_max_bits(self): | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         flag = False | 
					
						
							|  |  |  |         for _ in xrange(1000): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |             a = IntegerGeneric.random(max_bits=8) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  |             flag = flag or a < 128 | 
					
						
							|  |  |  |             self.failIf(a>=256) | 
					
						
							|  |  |  |         self.failUnless(flag) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         for bits_value in xrange(1024, 1024 + 8): | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |             a = IntegerGeneric.random(max_bits=bits_value) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  |             self.failIf(a >= 2**bits_value) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_random_bits_custom_rng(self): | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         class CustomRNG(object): | 
					
						
							|  |  |  |             def __init__(self): | 
					
						
							|  |  |  |                 self.counter = 0 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |             def __call__(self, size): | 
					
						
							|  |  |  |                 self.counter += size | 
					
						
							|  |  |  |                 return bchr(0) * size | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         custom_rng = CustomRNG() | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         a = IntegerGeneric.random(exact_bits=32, randfunc=custom_rng) | 
					
						
							| 
									
										
										
										
											2014-10-05 18:53:31 +02:00
										 |  |  |         self.assertEqual(custom_rng.counter, 4) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_random_range(self): | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-29 22:05:21 +01:00
										 |  |  |         func = IntegerGeneric.random_range | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         for x in xrange(200): | 
					
						
							|  |  |  |             a = func(min_inclusive=1, max_inclusive=15) | 
					
						
							|  |  |  |             self.failUnless(1 <= a <= 15) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         for x in xrange(200): | 
					
						
							|  |  |  |             a = func(min_inclusive=1, max_exclusive=15) | 
					
						
							|  |  |  |             self.failUnless(1 <= a < 15) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         self.assertRaises(ValueError, func, min_inclusive=1, max_inclusive=2, | 
					
						
							|  |  |  |                                             max_exclusive=3) | 
					
						
							|  |  |  |         self.assertRaises(ValueError, func, max_inclusive=2, max_exclusive=3) | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  | def get_tests(config={}): | 
					
						
							|  |  |  |     tests = [] | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |     tests += list_test_cases(TestIntegerInt) | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  |     try: | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |         from Crypto.Math._Numbers_gmp import Integer as IntegerGMP | 
					
						
							|  |  |  |         tests += list_test_cases(TestIntegerGMP) | 
					
						
							| 
									
										
										
										
											2014-09-21 22:07:19 +02:00
										 |  |  |     except ImportError: | 
					
						
							|  |  |  |         print "Skipping GMP tests" | 
					
						
							| 
									
										
										
										
											2014-11-05 22:07:14 +01:00
										 |  |  |     tests += list_test_cases(TestIntegerGeneric) | 
					
						
							| 
									
										
										
										
											2014-07-15 18:32:07 +02:00
										 |  |  |     return tests | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | if __name__ == '__main__': | 
					
						
							|  |  |  |     suite = lambda: unittest.TestSuite(get_tests()) | 
					
						
							|  |  |  |     unittest.main(defaultTest='suite') |