Effective algebraic independence of values of \(E\)-functions (Q6060825)

In the paper [\textit{B. Adamczewski} and \textit{T. Rivoal}, Bull. Lond. Math. Soc. 50, No. 4, 697--708 (2018; Zbl 1450.11076)], an algorithm is produced to perform the following tasks. Given an \(E\)-function \(F\) as input, it first says whether \(F\) is algebraic or transcendental over \(\overline {\mathbb{Q}}(z)\). If it is transcendental, it computes the finite set of algebraic numbers \(\alpha\) such that \(F(\alpha)\) is algebraic, together with the corresponding list of values \(F(\alpha)\). \par In the paper under review, the authors produce a different but related algorithm for several \(E\)-functions \(F_1,\dots,F_p\): their new algorithm (i) computes a system of generators of the ideal of polynomial relations between the functions \(F_1,\dots,F_p\) with coefficients over \(\overline {\mathbb{Q}}(z)\); (ii) given \(\alpha\in\overline {\mathbb{Q}}\), it computes a system of generators of polynomial relations between the values \(F_1(\alpha),\dots,F_p(\alpha)\) with coefficients over \(\overline {\mathbb{Q}}\); (iii) it determines the set of all \(\alpha\in\overline {\mathbb{Q}}\) such that the values \(F_1(\alpha),\dots,F_p(\alpha)\) are algebraically dependent. The proof of part (i) is a modification of one of the steps of the Hrushovski-Feng algorithm in [\textit{R. Feng}, Adv. Appl. Math. 65, 1--37 (2015; Zbl 1361.12002)]. Next, the authors show that it is sufficient to prove parts (ii) and (iii) when the functions \(F_1,\dots,F_p\) are linearly independent over \(\overline {\mathbb{Q}}(z)\). In that case, using results of \textit{F. Beukers} [Ann. Math. (2) 163, No. 1, 369--379 (2006; Zbl 1133.11044)], the authors reduce the proofs of parts (ii) and (iii) to a problem in commutative algebra, that they solve using Gröbner bases [\textit{G.-M. Greuel} and \textit{G. Pfister}, A Singular introduction to commutative algebra. With contributions by Olaf Bachmann, Christoph Lossen and Hans Schönemann. 2nd extended ed. Berlin: Springer (2007; Zbl 1133.13001)] and [\textit{G.-M. Greuel} and \textit{G. Pfister}, in: Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17--19, 2002. Singapore: World Scientific. 4--14 (2002; Zbl 1066.68163)].