package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module MP.PolynomialSource

Sourceval zero : t
Sourceval one : t
Sourceval singleton : string -> t
Sourceval of_monomial : Monomial.t -> t
Sourceval of_list : (Monomial.t * scalar) list -> t
Sourceval get_support : t -> string list
Sourceval get_support_map : t Stdlib__Map.Make(String).t -> string list
Sourceval equal : t -> t -> bool
Sourceval deg : t -> string -> int
Sourceval add : t -> t -> t
Sourceval neg : t -> t
Sourceval sub : t -> t -> t
Sourceval mul_scalar : scalar -> t -> t
Sourceval normalize : t -> scalar * t
Sourceval mul : t -> t -> t
Sourceval group_by : t -> string -> t list
Sourceval substitution : t -> string -> t -> t
Sourceval substitution_comp : t -> string -> t -> t -> t
Sourceval leading_coef : t -> string -> t * int
Sourceval partial_div_euclid : t -> t -> string -> t * t * t * int
Sourceval partial_gcd : t -> t -> string -> t
Sourceval apply : t -> spec -> scalar
Sourceval fast_apply : t -> spec -> scalar
Sourceval partial_apply : t -> spec -> t
Sourceval apply_poly : t -> UPoly.polynomial Stdlib__Map.Make(String).t -> UPoly.polynomial
Sourceval to_ascii : t -> string
Sourceval add_prefix : string -> t -> t
Sourcemodule PolynomialOperators : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct