Value | Description |
val computeFftPaddedPolynomialProduct :
int -> int -> fp array -> fp array -> fp array | |
val computeFftPolynomialProduct :
int -> int array -> int -> int array -> int array | |
val fp_of_int : int -> fp | |
val int_of_fp : fp -> int | |
val max_bits_inside_fp : int |
"2^max_bits_inside_fp - 1" fits inside fp
|
val max_fp : fp |
Maximum value in Fp is p-1.
|
val mone : fp | |
val mzero : fp | |