高嵌套深度超几何乘积在差环中的表示
符号计算
2020-11-18 v1
摘要
本文给出了一种非平凡的符号计算机制，它能在适当设计的差环中对有限个嵌套超几何乘积进行算法重述。由此，可获得一种基于单位根上定义的单个乘积以及彼此代数无关的嵌套超几何乘积的替代表示。特别地，可以解决零识别问题：嵌套超几何乘积的输入表达式取值为零当且仅当其输出表达式为零表达式。结合差环中已有的符号求和算法，可得到一种能够表示（并化简）定义于嵌套乘积之上的嵌套和的一般性机制。
引用
@article{arxiv.2011.08775,
title = {Representation of hypergeometric products of higher nesting depths in difference rings},
author = {Evans Doe Ocansey and Carsten Schneider},
journal= {arXiv preprint arXiv:2011.08775},
year = {2020}
}