Module mixed_radix 

This module provides a MixedRadixEvaluationDomain for performing various types of polynomial arithmetic on fields that are FFT-friendly.

However, these fields do not have a high enough two-adicity to perform the FFT efficiently. Specifically, the multiplicative subgroup G generated by F::TWO_ADIC_ROOT_OF_UNITY is not large enough for efficient FFT.

The MixedRadixEvaluationDomain resolves this issue by using a larger subgroup. This larger subgroup is obtained by combining G with another subgroup of size F::SMALL_SUBGROUP_BASE^(F::SMALL_SUBGROUP_BASE_ADICITY). Together, these form a subgroup generated by F::LARGE_SUBGROUP_ROOT_OF_UNITY.

Structs

Elements

An iterator over the elements of a domain.

MixedRadixEvaluationDomain

Defines a domain over which finite field (I)FFTs can be performed.