X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/5b00a0eafb523750b8a262eedac97f2dd4f63187..8dd8c294e9f330eb6b975c2b96cf9bbfcd087e5e:/tests/mp diff --git a/tests/mp b/tests/mp index 910b89d..de22e67 100644 --- a/tests/mp +++ b/tests/mp @@ -1,6 +1,6 @@ # Test vectors for MP functions # -# $Id: mp,v 1.2 1999/11/22 20:51:09 mdw Exp $ +# $Id: mp,v 1.4 2000/06/17 12:11:08 mdw Exp $ add { 5 4 9; 5 -4 1; -5 4 -1; -5 -4 -9; @@ -22,11 +22,33 @@ div { } gcd { + + # --- Simple tests --- + 16 12 4 -2 3; 12 16 4 -1 1; 693 609 21 -181 206; 4398082908043 90980984098081324 1 -32483863573352089 1570292150447; + # --- Negative argument tests --- + + 16 -12 4 -2 -3; + -16 12 4 2 3; + -12 -16 4 1 -1; + -12 16 4 1 1; + -693 609 21 181 206; + 693 -609 21 -181 -206; + + # --- Zero argument tests --- + + 15 0 15 1 0; + 0 15 15 0 1; + -5 0 5 -1 0; + 0 -5 5 0 -1; + 0 0 0 0 0; + + # --- Random number tests --- + 829561629303257626084392170900075 32498098450983560651904114638965 5 -22841190347053190672253237276815 583054885752979049202923618992482; @@ -54,6 +76,30 @@ gcd { 1 -4601007896041464028712478963832994007038251361995647370 514778499400157641662814932021958856708417966520837469125919104431; + + # --- Misery --- + # + # Some bugs discovered during RSA testing. + + 100000423751500546004561515884626739136961367515520675987004088469753859696407139054406989735113827981148062449057870561788973142250811838720214530386151198455545176591384352343648452329042764530196327665219224050630680827543991306749402959935685172017409062967157813233001567797128414009962262840951763040181 + 44895767034162990997987303986882660674722497505237491649296190658571471979065889234144353811843706629535512848235473808330181517421970135930320187227697512315919757806204341545022714991717913006031724818461724742069401359454784533576615919680949125073761586043027941204059690093447093117249681641020785611986 + 1 + -44146175664861261172356293340716833133750232401287328189797639296698679436925232375473973898100363205157703913050824405116878299310008848005045714833814493992539429428295945643439440068026313232881493081836812480325977761600303456915493177366981470223898994906470419007730670657168179659899713837827764669213 + 98330790743257232930640417364963717704786040860302439189781385170246412183980882564239377268174203679366339563908361674571088519452885615348465535190260914996055274486493192655677181637142116473172979503236297658204730543049175626205461452256333155750566288282331419748434569978343545573401114593095927172889; + + 44895767034162990997987303986882660674722497505237491649296190658571471979065889234144353811843706629535512848235473808330181517421970135930320187227697512315919757806204341545022714991717913006031724818461724742069401359454784533576615919680949125073761586043027941204059690093447093117249681641020785611986 + 100000423751500546004561515884626739136961367515520675987004088469753859696407139054406989735113827981148062449057870561788973142250811838720214530386151198455545176591384352343648452329042764530196327665219224050630680827543991306749402959935685172017409062967157813233001567797128414009962262840951763040181 + 1 + -1669633008243313073921098519663021432175326655218236797222703299507447512426256490167612466939624301781722885149508887217884622797926223371748995195890283459489902104891159687971270691900648057023348161982926392425950284494815680543941507679352016266842774684826393484566997818784868436561148247855835867292 + 749591369301729825631010646165827540972265103950163459498551361872792542140656858670379913743343424377808935184649403213303218111961287925274472393883018323380328377908395901583274923691599773150231736624912261743423597854481076661122742313967654849862591136557522196329019436278913457349967803193020942773; + + # --- Some other bugs --- + + 19504439280113284806725522136967618725661733412699408177537810327183285842670 + 1 + 1 + 0 + 1; } jacobi {