Documentation

CompPoly.Univariate.NTTFast.FastMulLow

Low Product via NTTFast #

This file exposes an NTTFast-backed Raw.MulLowContext for computing the low coefficients of a raw polynomial product.

source
def CompPoly.CPolynomial.NTTFast.FastMulLow.run {R : Type u_1} [Field R] [BEq R] [LawfulBEq R] (bestDomainForLength? : (requiredLen : ℕ) → Option (NTT.FittingDomain R requiredLen)) (k : ℕ) (p q : Raw R) :
Raw R
Instances For
    source
    def CompPoly.CPolynomial.NTTFast.FastMulLow.withFallback {R : Type u_1} [Field R] [BEq R] [LawfulBEq R] (bestDomainForLength? : (requiredLen : ℕ) → Option (NTT.FittingDomain R requiredLen)) :
    Raw.MulLowContext R

    NTTFast-backed low-product context with low-convolution as a fallback.

    This truncates both inputs to the requested output precision, multiplies them with the selected fitting NTT domain when one is available, and truncates the result back to the requested precision. If the domain table cannot cover the requested product length, it falls back to the low-convolution backend.

    Instances For