package tezos-bls12-381-polynomial

You can search for identifiers within the package.

in-package search v0.2.0

package tezos-bls12-381-polynomial

tezos-bls12-381-polynomial
- Bls12_381_polynomial
  - Carray
    
    Carray
    
    Stubs
  - Domain
    
    Domain_impl
    
    Domain_sig
    
    Domain_unsafe
    
    Domain_unsafe_sig
    
    Stubs
  - Evaluations_c
    
    Evaluations_c_impl
    
    Evaluations_c_sig
    
    Stubs
  - Fr_generation
    
    Make
    
    Scalar
  - Multivariate
    
    MultiPoly
    
    K
    
    MONOMIAL_MAP
    
    Monomial
    
    MonomialOperators
    
    MonomialMap
    
    Polynomial
    
    PolynomialOperators
    
    UPoly
    
    MultiPoly_sig
    
    MONOMIAL_MAP
    
    Monomial
    
    MonomialOperators
    
    MonomialMap
    
    Polynomial
    
    PolynomialOperators
    
    UPoly
    
    StringMap
  - Polynomial
    
    Domain
    
    Evaluations
    
    M
    
    Polynomial
    
    S
    
    Domain
    
    Evaluations
    
    Polynomial
    
    Srs
    
    Srs
  - Polynomial_c
    
    Polynomial_impl
    
    Polynomial_sig
    
    Polynomial_unsafe
    
    Polynomial_unsafe_sig
    
    Stubs
  - Srs
    
    M
    
    S
    
    Stubs
  - Univariate
    
    DomainEvaluation
    
    R
    
    Make
    
    R
    
    UNIVARIATE
    
    Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

type scalar = Bls12_381.Fr.t

type t = Carray.t

val of_carray : Carray.t -> t

val to_carray : t -> Carray.t

val of_array : Carray.scalar array -> Carray.t

val to_array : Carray.t -> Carray.scalar array

val length : Carray.t -> int

val get : Carray.t -> int -> Carray.scalar

val create : int -> Stubs.fr -> Carray.Stubs.fr_array * int

val build : log:int -> Carray.Stubs.fr_array * int

val subgroup : log:int -> (Stubs.fr_array * int) -> Carray.Stubs.fr_array * int

val inverse : Carray.t -> Fr.t array