Module Polynomial_protocol.EvaluationsSource

Module to operate with polynomials in FFT evaluations form.

Sourceval t : t Repr.t
Sourceval of_array : (int * PC.Scalar.t array) -> t
Sourceval to_array : t -> PC.Scalar.t array
Sourceval string_of_eval : t -> string
Sourceval of_domain : domain -> t
Sourceval to_domain : t -> domain
Sourceval zero : t
Sourceval is_zero : t -> bool
Sourceval degree : t -> int
Sourceval length : t -> int
Sourceval create : int -> t
Sourceval copy : ?res:t -> t -> t
Sourceval get : t -> int -> PC.Scalar.t
Sourceval mul_by_scalar : PC.Scalar.t -> t -> t
Sourceval mul_c : ?res:t -> evaluations:t list -> ?composition_gx:(int list * int) -> ?powers:int list -> unit -> t
Sourceval linear_c : ?res:t -> evaluations:t list -> ?linear_coeffs:PC.Scalar.t list -> ?composition_gx:(int list * int) -> ?add_constant:PC.Scalar.t -> unit -> t
Sourceval linear_with_powers : t list -> PC.Scalar.t -> t
Sourceval add : ?res:t -> t -> t -> t
Sourceval equal : t -> t -> bool
Sourceval evaluation_fft : domain -> polynomial -> t
Sourceval interpolation_fft : domain -> t -> polynomial
Sourceval interpolation_fft2 : domain -> PC.Scalar.t array -> polynomial
Sourceval dft : domain -> polynomial -> t
Sourceval idft_inplace : domain -> t -> polynomial
Sourceval evaluation_fft_prime_factor_algorithm : domain1:domain -> domain2:domain -> polynomial -> t
Sourceval interpolation_fft_prime_factor_algorithm_inplace : domain1:domain -> domain2:domain -> t -> polynomial
Sourceval size_evaluations : t SMap.t -> int
Sourceval find_evaluation : t SMap.t -> string -> t
Sourceval print_evaluations_name : t SMap.t -> unit
Sourceval get_domain : t SMap.t -> domain
Sourceval compute_evaluations : domain:domain -> polynomial SMap.t -> t SMap.t
Sourceval compute_evaluations_update_map : ?domain:domain -> evaluations:t SMap.t -> polynomial SMap.t -> t SMap.t
Sourceval mul : ?res:t -> evaluations:t SMap.t -> poly_names:string list -> ?composition_gx:(int list * int) -> ?powers:int list -> unit -> t
Sourceval linear : ?res:t -> evaluations:t SMap.t -> poly_names:SMap.key list -> ?linear_coeffs:PC.Scalar.t list -> ?composition_gx:(int list * int) -> ?add_constant:PC.Scalar.t -> unit -> t