[Home] Module Microsoft.FSharp.Primitives.FFT

FFT multiplication used by BigNat. Implements polynomial multiplication provided the coefficients of the result (and hence of the arguments too) fit inside Fp. Types Type Description type fp fp is type for the finite field. Currently using p = 2^27.15+1 but do not rely on that. Also, do not rely on fp being represented as int64 since this may (should) change, e.g. to uint32. Note: an abbreviation for int64 Values Value Description val fft_padded_poly_product : int -> int -> fp array -> fp array -> fp array val fft_poly_product : 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.

See Also Microsoft.FSharp.Primitives

Documentation for assembly fslib, version 1.1.10.1, generated using F# version 1.1.10.1