Complex decision diagrams

Complex decision diagrams to represent integer-valued functions in the form of complex Hadamard transforms and spectra are introduced. With the distinctive and unique properties of the transform, the novel complex decision diagrams could be further simplified by reduction rules and a half-spectra theorem that will lead to a more compact representation.