Find additional systematic methods to construct submodules beyond denominators and automorphisms

Identify systematic techniques, other than denominator elimination and automorphism-based decompositions, to construct nontrivial D-submodules of the creative telescoping module M = Ω/△k(Ω) for hypergeometric terms.

Background

The paper shows how submodules can yield right-factors (prescopers) and decompose computations via automorphisms, drastically improving efficiency and interpretability of telescopers.

Beyond these two sources, a general toolkit for finding submodules would broaden applicability and could reveal additional factorization structure in telescopers.