Anonymous user
Miller–Rabin primality test: Difference between revisions
m
→{{header|Ada}}: fixed a typ
(→{{header|Ada}}: Added long integer version) |
m (→{{header|Ada}}: fixed a typ) |
||
Line 125:
procedure Miller_Rabin is
Bound: constant Positive :=
package LN is new Crypto.Types.Big_Numbers (
use type LN.Big_Unsigned; -- all computations "mod 2**Bound"
Line 218:
procedure Miller_Rabin is
Bound: constant Positive :=
package LN is new Crypto.Types.Big_Numbers (
use type LN.Big_Unsigned; -- all computations "mod 2**Bound"
| |||