Supplementary Material for the paper "Binary Discrete Fourier Transform and its Inversion" by Howard W. Levinson and Vadim A. Markel, published in IEE Transactions on Signal Processing (2021)