<p>We adapt the theory of normal and special polynomials from symbolic integration to the summation setting and then build up a general framework embracing both the usual shift case and the <i>q</i>-shift case. In the context of this general framework, we develop a unified reduction algorithm, and subsequently a creative telescoping algorithm, applicable to both hypergeometric terms and their <i>q</i>-analogues. Our algorithms allow us to split up the usual shift case and the <i>q</i>-shift case only when it is really necessary, and thus instantly reveal the intrinsic differences between these two cases. Computational experiments are also provided.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A unified reduction for hypergeometric and q-hypergeometric creative telescoping

  • Shaoshi Chen,
  • Hao Du,
  • Yiman Gao,
  • Hui Huang,
  • Ziming Li

摘要

We adapt the theory of normal and special polynomials from symbolic integration to the summation setting and then build up a general framework embracing both the usual shift case and the q-shift case. In the context of this general framework, we develop a unified reduction algorithm, and subsequently a creative telescoping algorithm, applicable to both hypergeometric terms and their q-analogues. Our algorithms allow us to split up the usual shift case and the q-shift case only when it is really necessary, and thus instantly reveal the intrinsic differences between these two cases. Computational experiments are also provided.