double decomposition