package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
val zero : t
val one : t
val singleton : string -> t
val of_monomial : Monomial.t -> t
val of_list : (Monomial.t * scalar) list -> t
val get_support : t -> string list
val get_support_map : t Stdlib__Map.Make(Stdlib.String).t -> string list
val equal : t -> t -> bool
val deg : t -> string -> int
val add : t -> t -> t
val neg : t -> t
val sub : t -> t -> t
val mul_scalar : scalar -> t -> t
val normalize : t -> scalar * t
val mul : t -> t -> t
val group_by : t -> string -> t list
val substitution : t -> string -> t -> t
val substitution_comp : t -> string -> t -> t -> t
val leading_coef : t -> string -> t * int
val partial_div_euclid : t -> t -> string -> t * t * t * int
val partial_gcd : t -> t -> string -> t
val apply : t -> spec -> scalar
val fast_apply : t -> spec -> scalar
val partial_apply : t -> spec -> t
val apply_poly : t -> UPoly.polynomial Stdlib__Map.Make(Stdlib.String).t -> UPoly.polynomial
val to_ascii : t -> string
val add_prefix : string -> t -> t
module PolynomialOperators : sig ... end