Module `Evaluations_c.Evaluations_c_impl`Source

Sourcemodule Domain_c = Domain.Stubs

Sourcemodule Domain = Domain.Domain_unsafe

Sourcemodule Polynomial = Polynomial_c.Polynomial_unsafe

Sourcetype scalar = Fr.t

Sourcetype polynomial = Polynomial.t

Sourcetype t = int * Stubs.fr_array

Sourcetype domain = Domain.t

Sourceval of_array : (int * Fr_carray.elt array) -> int * Fr_carray.t

Sourceval to_array : ('a * Fr_carray.t) -> Fr_carray.elt array

Sourceval string_of_eval : (int * Fr_carray.t) -> string

Sourceval of_domain : Domain.t -> int * Fr_carray.t

Sourceval allocate : int -> Fr_carray.t

Sourceval to_domain : ('a * Fr_carray.t) -> Domain.t

Sourceval zero : int * Fr_carray.t

Sourceval degree : ('a * 'b) -> 'a

Sourceval length : ('a * Fr_carray.t) -> int

Sourceval create : int -> int * Fr_carray.t

Sourceval is_zero : (int * 'a) -> bool

Sourceval allocate_for_res : ('a * Fr_carray.t) option -> int -> Fr_carray.t

Sourceval copy : ?res:('a * Fr_carray.t) -> ('b * Fr_carray.t) -> 'b * Fr_carray.t

Sourceval get : ('a * Fr_carray.t) -> int -> Fr_carray.elt

Source

val mul_by_scalar : 
  Polynomial_c.Stubs.fr ->
  ('a * Fr_carray.t) ->
  'a * Fr_carray.t

Source

val mul_c : 
  ?res:('a * Fr_carray.t) ->
  evaluations:(int * Fr_carray.t) list ->
  ?composition_gx:(int list * int) ->
  ?powers:int list ->
  unit ->
  int * Fr_carray.t

Sourceval constant : Fr_carray.t -> Fr_carray.elt -> unit

Source

val linear_c : 
  ?res:('a * Fr_carray.t) ->
  evaluations:(int * Fr_carray.t) list ->
  ?linear_coeffs:Fr.t list ->
  ?composition_gx:(int list * int) ->
  ?add_constant:Fr.t ->
  unit ->
  int * Fr_carray.t

Source

val add : 
  ?res:('a * Fr_carray.t) ->
  (int * Fr_carray.t) ->
  (int * Fr_carray.t) ->
  int * Fr_carray.t

Source

val linear_with_powers : 
  (int * Fr_carray.t) list ->
  Polynomial_c.Stubs.fr ->
  int * Fr_carray.t

Sourceval equal : ('a * Fr_carray.t) -> ('a * Fr_carray.t) -> bool

Sourceval evaluation_fft_internal : Domain.t -> polynomial -> Fr_carray.t

Sourceval evaluation_fft : domain -> polynomial -> t

Sourceval interpolation_fft_internal : Domain.t -> Fr_carray.t -> polynomial

Sourceval interpolation_fft : domain -> t -> polynomial

Sourceval interpolation_fft2 : Domain.t -> scalar array -> polynomial

package tezos-bls12-381-polynomial

Module Evaluations_c.Evaluations_c_implSource

Module `Evaluations_c.Evaluations_c_impl`Source