FLINT3.7.0-dev

fft_small_fft_mpn_mod, fft_small_export_mpn_mod_range

Synopsis#include <flint/mpn_mod.h>
void fft_small_fft_mpn_mod(fft_small_op_t X, nn_srcptr a, ulong an, ulong itrunc, gr_ctx_t ctx, const fft_small_plan_t P)source
void fft_small_export_mpn_mod_range(nn_ptr z, const fft_small_op_t X, ulong zl, ulong zh, gr_ctx_t ctx, const fft_small_plan_t P)source

Conversions between mpn_mod coefficient vectors and fft_small operands, the analogues of fft_small_fft_nmod and fft_small_export_nmod_range, declared only when FLINT_HAVE_FFT_SMALL is set. fft_small_fft_mpn_mod reduces the an coefficients at a modulo each prime of the plan P and transforms them with truncation itrunc (at least an, at most the plan's ztrunc). fft_small_export_mpn_mod_range inverse-transforms X, reconstructs the coefficients of index \mathit{zl} \le i < \mathit{zh} (within the plan's window) by Chinese remaindering, reduces them modulo n and writes the \mathit{zh} - \mathit{zl} results to z; the reconstructed integers must be nonnegative and below half the product of the primes.

Cite this page

The FLINT team, “fft_small_fft_mpn_mod, fft_small_export_mpn_mod_range (mpn_mod.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpn_mod/fft_small_fft_mpn_mod.html (generated 2026-10-20).