SubDirectProductDecomposition

If we need to search for concepts, do we implement hashtables?