SubDirectProductDecomposition

Do we use iterators here?