Module `Polynomial.Polynomial_impl`Source

Sourcetype scalar = Fr.t

Sourcetype t = Fr_carray.t

Sourceval t : Fr_carray.t Repr.t

Sourceval of_carray : 'a -> 'a

Sourceval to_carray : 'a -> 'a

Sourceval length : Fr_carray.t -> int

Sourceval erase : Fr_carray.t -> unit

Sourceval allocate : int -> Fr_carray.t

Sourceval copy : Fr_carray.t -> Fr_carray.t

Sourceval copy_carray : ?offset:int -> ?len:int -> Fr_carray.t -> Fr_carray.t

Sourceval get : Fr_carray.t -> int -> Fr_carray.elt

Sourceval degree : Fr_carray.t -> int

Sourceval init : int -> (int -> Fr_carray.elt) -> Fr_carray.t

Sourceval equal : Fr_carray.t -> Fr_carray.t -> bool

Sourceval to_string : Fr_carray.t -> string

Sourceval of_coefficients : (Stubs.fr * int) list -> Fr_carray.t

Sourceval of_dense : Fr_carray.elt array -> Fr_carray.t

Sourceval zero : Fr_carray.t

Sourceval one : Fr_carray.t

Sourceval generate_biased_random_polynomial : int -> Fr_carray.t

Sourceval random : int -> Fr_carray.t

Sourceval to_dense_coefficients : Fr_carray.t -> Fr_carray.elt array

Sourceval to_sparse_coefficients : Fr_carray.t -> (Fr.t * int) list

Sourceval add : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

Sourceval add_inplace : Fr_carray.t -> Fr_carray.t -> Fr_carray.t -> unit

Sourceval sub : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

Sourceval sub_inplace : Fr_carray.t -> Fr_carray.t -> Fr_carray.t -> unit

Sourceval mul : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

Sourceval mul_by_scalar : Stubs.fr -> Fr_carray.t -> Fr_carray.t

Sourceval mul_by_scalar_inplace : Fr_carray.t -> Stubs.fr -> Fr_carray.t -> unit

Sourceval linear : Fr_carray.t list -> Stubs.fr list -> Fr_carray.t

Sourceval linear_with_powers : Fr_carray.t list -> Stubs.fr -> Fr_carray.t

Sourceval opposite : Fr_carray.t -> Fr_carray.t

Sourceval opposite_inplace : Fr_carray.t -> unit

Sourceval is_zero : Fr_carray.t -> bool

Sourceval truncate : len:int -> Fr_carray.t -> Fr_carray.t

Sourceval evaluate : Fr_carray.t -> Fr.t -> Fr.t

Sourceexception Rest_not_null of string

Sourceval division_xn : Fr_carray.t -> int -> Stubs.fr -> Fr_carray.t * Fr_carray.t

Sourceval mul_xn : Fr_carray.t -> int -> Stubs.fr -> Fr_carray.t

Sourceval derivative : Fr_carray.t -> Fr_carray.t

Sourceval split : nb_chunks:int -> int -> Fr_carray.t -> Fr_carray.t list

Sourceval blind : nb_blinds:int -> int -> Fr_carray.t -> Fr_carray.t * Fr_carray.t

Sourceval (=) : Fr_carray.t -> Fr_carray.t -> bool

Sourceval (+) : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

Sourceval (-) : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

Sourceval (*) : Fr_carray.t -> Fr_carray.t -> Fr_carray.t

Sourceval constant : Stubs.fr -> Fr_carray.t

Source

val fold_left_map : 
  ('a -> Fr_carray.elt -> 'a * Fr_carray.elt) ->
  'a ->
  Fr_carray.t ->
  'a * Fr_carray.t

package octez-bls12-381-polynomial

Module Polynomial.Polynomial_implSource

Module `Polynomial.Polynomial_impl`Source