Deduplicates AND orders a vector

TODO: Better name for testing

Takes the vector of evaluations (assume that evals[i] = f(omega^i)) and folds them into a vector of such that folded_evals[i] = [f(omega^(i + k * j))

Computes a polynomial that interpolates the given points with the given answers

Set figure dimensions to avoid scaling in LaTeX. Parameters ---------- width: float or string Document width in points, or st

Given a generator and a coset offset, computes the interpolating offset Requires to be given the inversion of the generator and coset offset (and thus

Takes a polynomial and interprets it as a matrix of coefficients this exactly corresponds to computing the BS08 bivariate polynomial with q(X) = X^col

Computes a polynomial that vanishes on points

Computes a polynomial that interpolates the given points with the given answers

Given a generator and a coset offset, computes the interpolating offset

Compute the quotient

Now, I need to query f_i at a given point. This induces some query to the previous oracle, whose answer I get

Allows to amortize the evaluation of the quotient polynomial

TODO: Rename to better name

Takes the underlying backing_domain = <w>, and computes the new domain <w^power> (note this will have size |L| / power) NOTE: This should not be mixed

Take a domain L_0 = o * <w> and compute a new domain L_1 = w * o^power * <w^power>. Note that L_0^k \cap L_1 = \emptyset for k > power.