Batch-Evaluation Contexts

Explicit context wrappers for reusable univariate batch-evaluation backends.

structure CompPoly.CPolynomial.BatchEvalContext (R : Type u_1) [Semiring R] : Type u_1

Contract wrapper for batch evaluation backends.

• evalBatchWith : CPolynomial R → Array R → Array R
• correct (p : CPolynomial R) (xs : Array R) : self.evalBatchWith p xs = p.evalBatch xs

def CompPoly.CPolynomial.BatchEvalContext.horner (R : Type u_1) [Semiring R] : BatchEvalContext R

Horner-backed batch evaluation context.

def CompPoly.CPolynomial.BatchEvalContext.subproduct (R : Type u_1) [Field R] [BEq R] [LawfulBEq R] (M : MulContext R) (D : ModContext R) : BatchEvalContext R

Subproduct-tree-backed batch evaluation context.