Simple generators of rational function fields

arXiv:2602.10878 · cs.SC, cs.MS, cs.SY, eess.SY, math.AC, math.DS · Submitted 2026-02-11 · Read on arXiv

cs.SC, cs.MS, cs.SY, eess.SY, math.AC, math.DS

Submitted: 2026-02-11

Updated: 2026-09-24

Code: https://github.com/pogudingleb/RationalFunctionFields.jl

Project page: https://symbolicdata.github.io/Papers/karlsruhe-02.pdf

License: http://creativecommons.org/licenses/by/4.0/

The gist: Consider a subfield of the field of rational functions in several indeterminates.

Terminology

Abstract

Consider a subfield of the field of rational functions in several indeterminates. We present an algorithm that, given a set of generators of such a subfield, finds a simple generating set. We provide an implementation of the algorithm and show that it improves upon the state of the art both in efficiency and the quality of the results. Furthermore, we demonstrate the utility of simplified generators through several case studies from different application domains, such as structural parameter identifiability. The main algorithmic novelties include performing only partial Gröbner basis computation via sparse interpolation and efficient search for polynomials of a fixed degree in a subfield of the rational function field.

Sources

Related papers