Module multivariate

Structs

• CompositionScalarAdapter
  An adapter that constructs a CompositionPolyOS for a field from a CompositionPolyOS for a packing of that field.
• IdentityCompositionPoly
  Identity composition function $g(X) = X$.
• MultilinearComposite
  A polynomial defined as the composition of several multilinear polynomials.

Traits

• MultivariatePoly
  A multivariate polynomial over a binary tower field.

Functions

• composition_hash
  Fingerprinting for composition polynomials done by evaluation at a deterministic random point. Outputs f(r_0,…,r_n-1) where f is a composite and the r_i are the components of the random point.