package tezos-bls12-381-polynomial

  1. Overview
  2. Docs

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

module StringMap : sig ... end
exception Monomial_non_positive_exponent of string * int
exception Polynomial_division_by_zero
exception Substitution_with_not_a_number
type variable = string
module type MultiPoly_sig = sig ... end
module MultiPoly (K : Ff_sig.PRIME) (UPoly : Univariate.UNIVARIATE with type scalar = K.t) : MultiPoly_sig with type scalar = K.t and module UPoly = UPoly