Naive Batch Evaluation #
Specification-level batch evaluators for canonical univariate polynomials.
def
CompPoly.CPolynomial.evalBatch
{R : Type u_1}
[Semiring R]
(p : CPolynomial R)
(xs : Array R)
:
Array R
Evaluate a polynomial at every point using the direct sum-of-powers evaluator.
Instances For
@[inline, specialize #[]]
def
CompPoly.CPolynomial.evalBatchHorner
{R : Type u_1}
[Semiring R]
(p : CPolynomial R)
(xs : Array R)
:
Array R
Evaluate a polynomial at every point using Horner evaluation.