Concept icon
Concept

Obtaining local jets from residue-distinct point evaluations

Let d_F=M(2L-1). For every retained t, request F(t+alpha zeta) modulo 2^(p_t) at d_F+1 binary-coordinate lifts of distinct residue-field elements. Local integrality puts this polynomial over A_(p_t), and unit point differences permit exact Lagrange interpolation there. Recover the whole degree-bounded polynomial and keep its first q_t coefficients for tapered Hermite recovery. The field has at least s^4 elements, while the required number is less than s^4 for sufficiently large s. This step specifies the evaluation task; the recursive mode construction must still compute those evaluations efficiently.

0

1

Concept icon
Updated 2026-11-08

Contributors are:

Who are from:

Tags

Math