package tezos-bls12-381-polynomial

  1. Overview
  2. Docs
module Domain : sig ... end
module Evaluations_c : sig ... end
module Fr_carray : sig ... end
module Fr_generation : sig ... end
module Multivariate : sig ... end

Module for multivariate rational functions, vectors and jacobian matrices on an arbitrary scalar field.

module Polynomial : sig ... end
module Polynomial_c : sig ... end
module Srs : sig ... end
module Univariate : sig ... end