Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by checking certain incomplete sufficient conditions. In this paper we propose an additional such condition which catches some cases on which other tests fail.

翻译：尽管理论上我们可以判定给定D-有限函数是否为超越函数，但在实践中，超越性证明仍是一个挑战。通常，超越性通过检查某些不充分的充分条件来证明。本文提出了一种额外的条件，能够捕获其他检验无法处理的某些情形。