Skip to main content

Module poly

Module poly 

Source

Structs§

Mle
Multilinear extension polynomial, in coefficient form.
MleMatrix
Ple
Prismalinear extension polynomial, in coefficient form.
PleMatrix

Functions§

eq_sharp_uni_poly
eval_to_coeff_rs_message
Convert evaluations of a prismalinear polynomial on D × {0,1}^n into the RS coefficient vector for eval-to-coeff encoding.
evals_eq_hypercube
Given vector x in F^n, populates out with eq_n(x, y) for y on hypercube H_n.
evals_eq_hypercubes
Given vector x in F^n, returns a concatenation of evals_eq_hypercube(x[..n]) for all valid n in order. Also, the order of masks is of different endianness.
evals_eq_hyperprism
Given vector (z,x) in F^{n+1}, populates out with eq_{l_skip,n}(x, y) for y on hyperprism D_n.
evals_mobius_eq_hypercube
Given vector u_tilde in F^n, populates out with mobius_eq_kernel(u_tilde, b) for b on hypercube H_n.