A heterogeneous decision diagram package

Abstract

This paper describes a decision diagram package for efficient computation with large matrices. The heterogeneous decision diagrams supported by the package do not require the selection variables to have a single domain. Computations can be over a selected field up to the complex numbers including finite fields. Implementation strategies supporting this level of flexibility are presented. Applications are outlined taken from diverse areas such as reversible and quantum logic, spectral transformations and operations over finite fields.