package tezos-bls12-381-polynomial

  1. Overview
  2. Docs
package tezos-bls12-381-polynomial
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Evaluations_c.Evaluations_c_implSource

Sourcemodule Domain_c = Domain.Stubs
Sourcetype scalar = Fr.t
Sourcetype polynomial = Polynomial.t
Sourcetype t = int * Stubs.fr_array * int
Sourcetype domain = Domain.t
Sourceval make_evaluation : (int * Carray.scalar array) -> int * Carray.Stubs.fr_array * int
Sourceval string_of_eval : (int * Carray.Stubs.fr_array * int) -> string
Sourceval of_domain : Domain.t -> int * Carray.Stubs.fr_array * int
Sourceval to_domain : ('a * Carray.Stubs.fr_array * int) -> Domain.t
Sourceval zero : int * Carray.Stubs.fr_array * int
Sourceval degree : ('a * 'b * 'c) -> 'a
Sourceval length : ('a * 'b * 'c) -> 'c
Sourceval create : int -> int * Carray.Stubs.fr_array * int
Sourceval allocate_for_res : ('a * Carray.Stubs.fr_array * int) option -> int -> Carray.Stubs.fr_array
Sourceval copy : ?res:('a * Carray.Stubs.fr_array * int) -> ('b * Carray.Stubs.fr_array * int) -> 'b * Carray.Stubs.fr_array * int
Sourceval get : ('a * Carray.Stubs.fr_array * int) -> int -> Carray.scalar
Sourceval mul_by_scalar : Polynomial_c.Stubs.fr -> ('a * Polynomial_c.Stubs.fr_array * int) -> 'a * Carray.Stubs.fr_array * int
Sourceval mul_c : ?res:('a * Carray.Stubs.fr_array * int) -> evaluations:(int * Stubs.fr_array * int) list -> ?composition_gx:(int list * int) -> ?powers:int list -> unit -> int * Carray.Stubs.fr_array * int
Sourceval linear_c : ?res:('a * Carray.Stubs.fr_array * int) -> evaluations:(int * Stubs.fr_array * int) list -> ?linear_coeffs:Fr.t list -> ?composition_gx:(int list * int) -> ?add_constant:Fr.t -> unit -> int * Carray.Stubs.fr_array * int
Sourceval add : ?res:('a * Carray.Stubs.fr_array * int) -> (int * Carray.Stubs.fr_array * int) -> (int * Carray.Stubs.fr_array * int) -> int * Carray.Stubs.fr_array * int
Sourceval equal : ('a * Carray.Stubs.fr_array * int) -> ('a * Carray.Stubs.fr_array * int) -> bool
Sourceval evaluation_fft_internal : Domain.t -> polynomial -> Carray.t
Sourceval evaluation_fft : domain -> polynomial -> t
Sourceval evaluation_fft2 : Domain.t -> polynomial -> scalar array
Sourceval interpolation_fft_internal : Domain.t -> Carray.t -> polynomial
Sourceval interpolation_fft : domain -> t -> polynomial
Sourceval interpolation_fft2 : Domain.t -> scalar array -> polynomial