Pith. sign in

REVIEW 2 cited by

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2402.07141 v3 pith:ITXLVYAD submitted 2024-02-11 cs.SC math.AC

Reading Rational Univariate Representations on lexicographic Groebner bases

classification cs.SC math.AC
keywords basesgroebnerlexicographiccodeidealimplementationsmethodrational
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

In this contribution, we consider a zero-dimensional polynomial system in $n$ variables defined over a field $\mathbb{K}$. In the context of computing a Rational Univariate Representation (RUR) of its solutions, we address the problem of certifying a separating linear form and, once certified, calculating the RUR that comes from it, without any condition on the ideal else than being zero-dimensional. Our key result is that the RUR can be read (closed formula) from lexicographic Groebner bases of bivariate elimination ideals, even in the case where the original ideal that is not in shape position, so that one can use the same core as the well known FGLM method to propose a simple algorithm. Our first experiments, either with a very short code (300 lines) written in Maple or with a Julia code using straightforward implementations performing only classical Gaussian reductions in addition to Groebner bases for the degree reverse lexicographic ordering, show that this new method is already competitive with sophisticated state of the art implementations which do not certify the parameterizations.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Groebner.jl: Fast Gr\"obner Tracing in Julia

    cs.SC 2026-07 accept novelty 5.0

    Groebner.jl implements F4 with public Traverso tracing and SIMD-friendly product-ring arithmetic in Julia, achieving 1.5–6.6x speedups in multi-modular Gröbner basis workflows.

  2. Fast Rational Univariate Representation via Gaussian Elimination

    cs.SC 2026-07 conditional novelty 4.0

    A Julia package using dense Gaussian elimination computes certified rational univariate representations of polynomial systems with thousands of solutions in seconds, outperforming msolve on several benchmarks.