Expand description
This module contains a MixedRadixEvaluationDomain for
performing various kinds of polynomial arithmetic on top of
fields that are FFT-friendly but do not have high-enough
two-adicity to perform the FFT efficiently, i.e. the multiplicative
subgroup G generated by F::TWO_ADIC_ROOT_OF_UNITY is not large enough.
MixedRadixEvaluationDomain resolves
this issue by using a larger subgroup obtained by combining
G with another subgroup of size
F::SMALL_SUBGROUP_BASE^(F::SMALL_SUBGROUP_BASE_ADICITY),
to obtain a subgroup generated by F::LARGE_SUBGROUP_ROOT_OF_UNITY.
Structsยง
- An iterator over the elements of a domain.
- Defines a domain over which finite field (I)FFTs can be performed. Works only for fields that have a multiplicative subgroup of size that is a power-of-2 and another small subgroup over a different base defined.