| 1 | # Test vectors for MP functions |
| 2 | # |
| 3 | # $Id: mp,v 1.4 2000/06/17 12:11:08 mdw Exp $ |
| 4 | |
| 5 | add { |
| 6 | 5 4 9; 5 -4 1; -5 4 -1; -5 -4 -9; |
| 7 | 0xffffffff 1 0x100000000; |
| 8 | } |
| 9 | |
| 10 | sub { |
| 11 | 5 4 1; 5 -4 9; -5 4 -9; -5 -4 -1; |
| 12 | 4 5 -1; 4 -5 9; -4 5 -9; -4 -5 1; |
| 13 | } |
| 14 | |
| 15 | mul { |
| 16 | 5 4 20; -5 4 -20; 5 -4 -20; -5 -4 20; |
| 17 | 0x10000 0x10000 0x100000000; |
| 18 | } |
| 19 | |
| 20 | div { |
| 21 | 9 4 2 1; -9 4 -3 3; 9 -4 -3 -3; -9 -4 2 -1; |
| 22 | } |
| 23 | |
| 24 | gcd { |
| 25 | |
| 26 | # --- Simple tests --- |
| 27 | |
| 28 | 16 12 4 -2 3; |
| 29 | 12 16 4 -1 1; |
| 30 | 693 609 21 -181 206; |
| 31 | 4398082908043 90980984098081324 1 -32483863573352089 1570292150447; |
| 32 | |
| 33 | # --- Negative argument tests --- |
| 34 | |
| 35 | 16 -12 4 -2 -3; |
| 36 | -16 12 4 2 3; |
| 37 | -12 -16 4 1 -1; |
| 38 | -12 16 4 1 1; |
| 39 | -693 609 21 181 206; |
| 40 | 693 -609 21 -181 -206; |
| 41 | |
| 42 | # --- Zero argument tests --- |
| 43 | |
| 44 | 15 0 15 1 0; |
| 45 | 0 15 15 0 1; |
| 46 | -5 0 5 -1 0; |
| 47 | 0 -5 5 0 -1; |
| 48 | 0 0 0 0 0; |
| 49 | |
| 50 | # --- Random number tests --- |
| 51 | |
| 52 | 829561629303257626084392170900075 32498098450983560651904114638965 |
| 53 | 5 -22841190347053190672253237276815 583054885752979049202923618992482; |
| 54 | |
| 55 | 5509672937670943767152343650729669537671508 |
| 56 | 398326674296699796695672966992514673531 |
| 57 | 17 |
| 58 | -191606556147997561067126486929677861359 |
| 59 | 2650310725368604614586643627755316700713319; |
| 60 | |
| 61 | 324098408098290809832490802984098208098324 |
| 62 | 23430980840982340982098409823089098443 |
| 63 | 1 |
| 64 | -4158709420138833210339208344965073815 |
| 65 | 57523460582278135926717203882531035926727; |
| 66 | |
| 67 | # --- RSA test --- |
| 68 | # |
| 69 | # The first number is (p - 1)(q - 1) from `mpmont'. The second is a |
| 70 | # random number (it's actually prime, but that doesn't matter) which I |
| 71 | # can use as an RSA encryption exponent. The last is the partner |
| 72 | # decryption exponent, produced using the extended GCD algorithm. |
| 73 | |
| 74 | 665251164384574309450646977867043764321191240895546832784045453360 |
| 75 | 5945908509680983480596809586040589085680968709809890671 |
| 76 | 1 |
| 77 | -4601007896041464028712478963832994007038251361995647370 |
| 78 | 514778499400157641662814932021958856708417966520837469125919104431; |
| 79 | |
| 80 | # --- Misery --- |
| 81 | # |
| 82 | # Some bugs discovered during RSA testing. |
| 83 | |
| 84 | 100000423751500546004561515884626739136961367515520675987004088469753859696407139054406989735113827981148062449057870561788973142250811838720214530386151198455545176591384352343648452329042764530196327665219224050630680827543991306749402959935685172017409062967157813233001567797128414009962262840951763040181 |
| 85 | 44895767034162990997987303986882660674722497505237491649296190658571471979065889234144353811843706629535512848235473808330181517421970135930320187227697512315919757806204341545022714991717913006031724818461724742069401359454784533576615919680949125073761586043027941204059690093447093117249681641020785611986 |
| 86 | 1 |
| 87 | -44146175664861261172356293340716833133750232401287328189797639296698679436925232375473973898100363205157703913050824405116878299310008848005045714833814493992539429428295945643439440068026313232881493081836812480325977761600303456915493177366981470223898994906470419007730670657168179659899713837827764669213 |
| 88 | 98330790743257232930640417364963717704786040860302439189781385170246412183980882564239377268174203679366339563908361674571088519452885615348465535190260914996055274486493192655677181637142116473172979503236297658204730543049175626205461452256333155750566288282331419748434569978343545573401114593095927172889; |
| 89 | |
| 90 | 44895767034162990997987303986882660674722497505237491649296190658571471979065889234144353811843706629535512848235473808330181517421970135930320187227697512315919757806204341545022714991717913006031724818461724742069401359454784533576615919680949125073761586043027941204059690093447093117249681641020785611986 |
| 91 | 100000423751500546004561515884626739136961367515520675987004088469753859696407139054406989735113827981148062449057870561788973142250811838720214530386151198455545176591384352343648452329042764530196327665219224050630680827543991306749402959935685172017409062967157813233001567797128414009962262840951763040181 |
| 92 | 1 |
| 93 | -1669633008243313073921098519663021432175326655218236797222703299507447512426256490167612466939624301781722885149508887217884622797926223371748995195890283459489902104891159687971270691900648057023348161982926392425950284494815680543941507679352016266842774684826393484566997818784868436561148247855835867292 |
| 94 | 749591369301729825631010646165827540972265103950163459498551361872792542140656858670379913743343424377808935184649403213303218111961287925274472393883018323380328377908395901583274923691599773150231736624912261743423597854481076661122742313967654849862591136557522196329019436278913457349967803193020942773; |
| 95 | |
| 96 | # --- Some other bugs --- |
| 97 | |
| 98 | 19504439280113284806725522136967618725661733412699408177537810327183285842670 |
| 99 | 1 |
| 100 | 1 |
| 101 | 0 |
| 102 | 1; |
| 103 | } |
| 104 | |
| 105 | jacobi { |
| 106 | 4 5 1; |
| 107 | 6 7 -1; |
| 108 | 15 27 0; |
| 109 | 2132498039840981 98729378979237498798347932749951 1; |
| 110 | } |