We report on implementations for algorithms treating algebraic and arithmetic properties of hypergeometric functions in the computer algebra system SageMath. We treat hypergeometric series over the rational numbers, over finite fields, and over the p-adics. Among other things, we provide implementations deciding algebraicity, computing valuations, and computing minimal polynomials in positive characteristic.
翻译:本文报告了在计算机代数系统SageMath中实现处理超几何函数代数与算术性质算法的相关工作。我们处理有理数域、有限域及p进数域上的超几何级数。除其他功能外,我们提供了在正特征域中判定代数性、计算赋值以及计算极小多项式的实现。