EN FR
EN FR


Section: New Results

Efficient algorithms for rational first integrals

We presented in [14] fast algorithms for computing rational first integrals with bounded degree of a planar polynomial vector field. Our approach is inspired by an idea of Ferragut and Giacomini. We improve upon their work by proving that rational first integrals can be computed via systems of linear equations instead of systems of quadratic equations. This leads to a probabilistic algorithm with arithmetic complexity Õ(N2ω) and to a deterministic algorithm solving the problem in Õ(d2N2ω+1) arithmetic operations, where N denotes the given bound for the degree of the rational first integral, and where dN is the degree of the vector field, and ω the exponent of linear algebra. By comparison, the best previous algorithm uses at least dω+1N4ω+4 arithmetic operations. The new algorithms are very efficient in practice.