convolution theorem:
For any two vectors a and b of length n, w here n is a power of 2,
where the vectors a and b are padded with 0s to length 2n and \cdot denotes the com-
ponentwise product of two 2n-element vectors.
copied from introduction to algorithm
