X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/ffec48800022b6872951eca188d2ceedef8dd5c8..e564e3f84ad0ea42b78559c0bfe304893fd5e76b:/tests/mp diff --git a/tests/mp b/tests/mp index a7c5d50..1800fea 100644 --- a/tests/mp +++ b/tests/mp @@ -208,6 +208,62 @@ jacobi { 6 7 -1; 15 27 0; 2132498039840981 98729378979237498798347932749951 1; + 98729378979237498798347932749951 2132498039840981 1; + + # --- Kronecker extension --- + + 0 0 0; + 1 0 1; + -1 0 -1; + 2 0 0; + + 2132498039840981 197458757958474997596695865499902 -1; + 98729378979237498798347932749951 4264996079681962 1; + 98729378979237498798347932749951 -4264996079681962 1; + -98729378979237498798347932749951 -4264996079681962 -1; + + # --- Random tests made by PARI/gp --- + + 22 -19 -1; + 48 -37 1; + -13 29 1; + -19 2 -1; + -43 31 1; + -12 -7 -1; + -14 -34 0; + -30 -29 -1; + 25 26 1; + -27 20 -1; + -5 -45 0; + 9 -42 0; + -51 -3 0; + -39 35 -1; + 37 30 1; + 13 18 -1; + -28 6 0; + -49 -15 1; + -1 1 1; + -9 13 1; + -47 44 -1; + -14 -30 0; + 37 -36 1; + 45 9 0; + -29 30 -1; + 49 49 0; + -27 -10 -1; + -35 -25 0; + 17 14 -1; + -35 29 1; + -1 33 1; + 38 -11 1; + 3 -24 0; + 5 -25 0; + -31 22 -1; + 40 30 0; + -43 26 -1; + -22 10 0; + 11 -29 -1; + 40 -18 0; } modsqrt { @@ -227,7 +283,7 @@ modexp { # --- Montgomery exponentiation --- - 435365332435654643667 8745435676786567758678547 + 435365332435654643667 8745435676786567758678547 4325987397987458979875737589783 2439674515119108242643169132064; 0xfffffffdfffffffffffffffffffffffe 0 0xfffffffdffffffffffffffffffffffff 1;