13 lines
312 B
OCaml
13 lines
312 B
OCaml
(** Testing for primality *)
|
|
|
|
(** Deterministic primality test
|
|
*)
|
|
val is_prime : int list -> bool
|
|
|
|
|
|
(** Pseudo-primality test based on Fermat's Little Theorem
|
|
@param p tested bitarray
|
|
@param testSeq sequence of bitarrays againt which to test
|
|
*)
|
|
val is_pseudo_prime : int list -> (int list) list -> bool
|