From: Unified commutation-pruning technique for efficient computation of composite DFTs
Hypotheses | Specifications |
---|---|
H1 : y = Ax | x = input |
H2 : y = Bx | y = output |
H3 : y = Fx | A = DIF |
H4 : y = ABx | B = DIT |
H5 : y = BAx | F = 2BF filtering |
H6 : y = ABFx | D = DFT N |
H7 : y = BAFx | |
H8 : y = Dx | |
H9 : H4 ∪ H6 | |
H10 : H5 ∪ H7 | |
H11 : H9 ∪ H3 ∪ H8 | |
H12 : H10 ∪ H3 ∪ H8 |