Abstract:We consider the simultaneously fast and in-place computation of the Euclidean polynomial modular remainder $R(X) $\not\equiv$ A(X) \mod B(X)$ with $A$ and $B$ of respective degrees $n$ and $m $\le$ n$. But fast algorithms for this usually come at the expense of (potentially large) extra temporary space. To remain in-place a further issue is to avoid the storage of the whole quotient $Q(X)$ such that $A=BQ+R$. If the multiplication of two polynomials of degree $k$ can be performed with $M(k)$ operations and $O(k)$ extra space, and if it is allowed to use the input space of $A$ or $B$ for intermediate computations, but putting $A$ and $B$ back to their initial states after the completion of the remainder computation, we here propose an in-place algorithm (that is with its extra required space reduced to $O(1)$ only) using at most $O(n/m M(m)\log(m)$ arithmetic operations, if $\M(m)$ is quasi-linear, or $O(n/m M(m)}$ otherwise. We also propose variants that compute -- still in-place and with the same kind of complexity bounds -- the over-place remainder $A(X) $\not\equiv$ A(X) \mod B(X)$, the accumulated remainder $R(X) += A(X) \mod B(X)$ and the accumulated modular multiplication $R(X) += A(X)C(X) \mod B(X)$. To achieve this, we develop techniques for Toeplitz matrix operations which output is also part of the input. Fast and in-place accumulating versions are obtained for the latter, and thus for convolutions, and then used for polynomial remaindering. This is realized via further reductions to accumulated polynomial multiplication, for which fast in-place algorithms have recently been developed.

A Fast Algorithm for Partial Fraction Decompositions

Unbalanced Exponent Modular Reduction over Binary Field and Its Implementation

In-place fast polynomial modular remainder

Partial fraction decompositions and an algorithm for computing the vector partition function

Decomposing Polynomial Sets into Simple Sets over Finite Fields: the Positive-Dimensional Case.

Simultaneous Convergent Continued Fraction Algorithm for Real and $p$-adic Fields with Applications to Quadratic Fields

Integer Factorization via Continued Fractions and Quadratic Forms

Acceleration of Euclidean Algorithm and Rational Number Reconstruction

A Novel Fast Algorithm for Fractional Fourier Transform

Effective Determination of Prime Decompositions of Cubic Function Fields

A polynomial time algorithm for calculating Fourier-Dedekind sums

LinApart: optimizing the univariate partial fraction decomposition

Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case

An efficient method for integer factorization

Fast computation of generalized dedekind sums

An Efficient Multiple-Precision Division Algorithm

Convergence, finiteness and periodicity of several new algorithms of p-adic continued fractions

Efficient Quotients of Non-Commutative Polynomials

Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields

New Bounds on Quotient Polynomials with Applications to Exact Divisibility and Divisibility Testing of Sparse Polynomials