package tezos-plonk

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module MP.UPolySource

Sourcetype polynomial = t
Sourceval zero : polynomial
Sourceval degree : polynomial -> Bls12_381_polynomial__Univariate.natural_with_infinity
Sourceval degree_int : polynomial -> int
Sourceval have_same_degree : polynomial -> polynomial -> bool
Sourceval get_dense_polynomial_coefficients : polynomial -> scalar list
Sourceval get_dense_polynomial_coefficients_with_degree : polynomial -> (scalar * int) list
Sourceval get_list_coefficients : polynomial -> (scalar * int) list
Sourceval evaluation : polynomial -> scalar -> scalar
Sourceval constants : scalar -> polynomial
Sourceval mult_by_scalar : scalar -> polynomial -> polynomial
Sourceval is_null : polynomial -> bool
Sourceval is_constant : polynomial -> bool
Sourceval opposite : polynomial -> polynomial
Sourceval equal : polynomial -> polynomial -> bool
Sourceval of_coefficients : (scalar * int) list -> polynomial
Sourceval lagrange_interpolation : (scalar * scalar) list -> polynomial
Sourceval even_polynomial : polynomial -> polynomial
Sourceval odd_polynomial : polynomial -> polynomial
Sourceval evaluation_fft : domain:scalar array -> polynomial -> scalar list
Sourceval generate_random_polynomial : Bls12_381_polynomial__Univariate.natural_with_infinity -> polynomial
Sourceval get_highest_coefficient : polynomial -> scalar
Sourceval interpolation_fft : domain:scalar array -> scalar list -> polynomial
Sourceval polynomial_multiplication : polynomial -> polynomial -> polynomial
Sourceval polynomial_multiplication_fft : domain:scalar array -> polynomial -> polynomial -> polynomial
Sourceval euclidian_division_opt : polynomial -> polynomial -> (polynomial * polynomial) option
Sourceval (=) : polynomial -> polynomial -> bool
Sourceval to_string : polynomial -> string
OCaml

Innovation. Community. Security.