is_irreducible fixup
cache_key fixup
factorization fixup