English

Fast Rational Univariate Representation via Gaussian Elimination

Symbolic Computation 2026-07-07 v1 Data Structures and Algorithms Commutative Algebra

Abstract

In this note, we present RationalUnivariateRepresentation.jl (https://newrur.gitlabpages.inria.fr/RationalUnivariateRepresentation.jl/), a Julia package for computing rational univariate representations of zero-dimensional polynomial systems. The package uses dense linear algebra and Gaussian elimination for the FGLM-like stage. The purpose of this contribution is to advocate for this choice and explain the implementation details that turn the algorithm into practical software. In particular, we show that our implementation can compute guaranteedly correct parametrizations of ideals with thousands of solutions within seconds.

Cite

@article{arxiv.2607.06397,
  title  = {Fast Rational Univariate Representation via Gaussian Elimination},
  author = {Alexander Demin and Fabrice Rouillier},
  journal= {arXiv preprint arXiv:2607.06397},
  year   = {2026}
}

Comments

In proceedings of ICMS 2026

R2 v1 2026-07-22T20:28:14.876Z