English
Related papers

Related papers: The use of Bad Primes in Rational Reconstruction

200 papers

Computations over the rational numbers often suffer from intermediate coefficient swell. One solution to this problem is to apply the given algorithm modulo a number of primes and then lift the modular results to the rationals. This method…

Algebraic Geometry · Mathematics 2019-08-15 Janko Boehm , Wolfram Decker , Claus Fieker , Santiago Laplagne , Gerhard Pfister

In this paper we present two efficient methods for reconstructing a rational number from several residue-modulus pairs, some of which may be incorrect. One method is a natural generalization of that presented by Wang, Guy and Davenport in…

Number Theory · Mathematics 2015-07-22 John Abbott

In this paper, we extend the work of (Abbondati et al., 2024) on decoding simultaneous rational number codes by addressing two important scenarios: multiplicities and the presence of bad primes (divisors of denominators). First, we…

Information Theory · Computer Science 2025-06-06 Matteo Abbondati , Eleonora Guerrini , Romain Lebreton

This paper investigates polynomial remainder codes with non-pairwise coprime moduli. We first consider a robust reconstruction problem for polynomials from erroneous residues when the degrees of all residue errors are assumed small, namely…

Information Theory · Computer Science 2015-01-05 Li Xiao , Xiang-Gen Xia

By double ideal quotient, we mean $(I:(I:J))$ where ideals $I$ and $J$. In our previous work [11], double ideal quotient and its variants are shown to be very useful for checking prime divisor and generating primary component. Combining…

Commutative Algebra · Mathematics 2022-02-15 Yuki Ishihara

The set of prime numbers has been analyzed, based on their algebraic and arithmetical structure. Here by obtaining a sort of linear formula for the set of prime numbers, they are redefined and identified; under a systematic procedure it has…

General Mathematics · Mathematics 2014-12-30 Ramin Zahedi

In this paper we propose several strategies for the exact computation of the determinant of a rational matrix. First, we use the Chinese Remaindering Theorem and the rational reconstruction to recover the rational determinant from its…

Symbolic Computation · Computer Science 2009-04-16 Anna Urbanska

Based on unique decoding of the polynomial residue code with non-pairwise coprime moduli, a polynomial with degree less than that of the least common multiple (lcm) of all the moduli can be accurately reconstructed when the number of…

Information Theory · Computer Science 2017-03-24 Li Xiao , Xiang-Gen Xia

We propose a generic design for Chinese remainder algorithms. A Chinese remainder computation consists in reconstructing an integer value from its residues modulo non coprime integers. We also propose an efficient linear data structure, a…

Symbolic Computation · Computer Science 2010-09-09 Jean-Guillaume Dumas , Thierry Gautier , Jean-Louis Roch

We propose a generic design for Chinese remainder algorithms. A Chinese remainder computation consists in reconstructing an integer value from its residues modulo non coprime integers. We also propose an efficient linear data structure, a…

Symbolic Computation · Computer Science 2010-01-26 Jean-Guillaume Dumas , Thierry Gautier , Jean-Louis Roch

Finitely generated Z-modules have canonical decompositions. When such modules are given in a finitely presented form there is a classical algorithm for computing a canonical decomposition. This is the algorithm for computing the Smith…

Group Theory · Mathematics 2009-09-25 George Havas , Derek F. Holt , Sarah Rees

A well-known generalisation of positional numeration systems is the case where the base is the residue class of $x$ modulo a given polynomial $f(x)$ with coefficients in (for example) the integers, and where we try to construct finite…

Number Theory · Mathematics 2011-06-22 Christiaan E. van de Woestijne

The main focus of this paper is on the problem of relating an ideal $I$ in the polynomial ring $\mathbb Q[x_1, \dots, x_n]$ to a corresponding ideal in $\mathbb F_p[x_1,\dots, x_n]$ where $p$ is a prime number; in other words, the…

Commutative Algebra · Mathematics 2019-12-13 John Abbott , Anna Maria Bigatti , Lorenzo Robbiano

Computations over the rational numbers often encounter the problem of intermediate coefficient growth. A solution to this is provided by modular methods, which apply the algorithm under consideration modulo a number of primes and then lift…

Algebraic Geometry · Mathematics 2024-01-23 Dirk Basson , Janko Boehm , Magdaleen S. Marais , Mirko Rahn , Hobihasina P. Rakotoarisoa

Prime-based ordering which is proved to be admissible, is the encoding of indeterminates in power-products with prime numbers and ordering them by using the natural number order. Using Eiffel, four versions of Buchberger's improved…

Software Engineering · Computer Science 2009-01-29 Peter Horan , John Carminati

We describe a combinatorial approach for investigating properties of rational numbers. The overall approach rests on structural bijections between rational numbers and familiar combinatorial objects, namely rooted trees. We emphasize that…

Combinatorics · Mathematics 2012-01-13 Edinah K. Gnang , Chetan Tonde

Natural numbers can be divided in two non-overlapping infinite sets, primes and composites, with composites factorizing into primes. Despite their apparent simplicity, the elucidation of the architecture of natural numbers with primes as…

Number Theory · Mathematics 2014-10-21 Guillermo Garcia-Perez , M. Angeles Serrano , Marian Boguna

We present an effective method for computing parametric primary decomposition via comprehensive Gr\"obner systems. In general, it is very difficult to compute a parametric primary decomposition of a given ideal in the polynomial ring with…

Symbolic Computation · Computer Science 2024-08-29 Yuki Ishihara , Kazuhiro Yokoyama

Modular algorithm are widely used in computer algebra systems (CAS), for example to compute efficiently the gcd of multivariate polynomials. It is known to work to compute Groebner basis over $\Q$, but it does not seem to be popular among…

Symbolic Computation · Computer Science 2013-11-19 Bernard Parisse

By establishing an interesting connection between ordinary Bell polynomials and rational convolution powers, some composition and inverse relations of Bell polynomials as well as explicit expressions for convolution roots of sequences are…

Classical Analysis and ODEs · Mathematics 2023-11-16 Hamed Taghavian
‹ Prev 1 2 3 10 Next ›