Automate detection and exploitation of submodules for broader function classes

Develop automatic procedures to detect and exploit D-submodules in creative telescoping for hypergeometric terms, hyperexponential functions, and D-finite functions, integrating with reduction-based frameworks to improve factorization and efficiency.

Background

The submodule approach provides computational and structural benefits in the hypergeometric setting and is conceptually extendable to other function classes where creative telescoping is applicable.

An automated framework would make these benefits broadly accessible and comparable to established reduction-based telescoping methods.