# PolynomialMod

PolynomialMod[poly,m]

gives the polynomial poly reduced modulo m.

PolynomialMod[poly,{m1,m2,}]

reduces modulo all of the mi.

# Details and Options • PolynomialMod[poly,m] for integer m gives a polynomial in which all coefficients are reduced modulo m.
• When m is a polynomial, PolynomialMod[poly,m] reduces poly by subtracting polynomial multiples of m, to give a result with minimal degree and leading coefficient.
• PolynomialMod gives results according to a definite convention; other conventions could yield results differing by multiples of m.
• Unlike PolynomialRemainder, PolynomialMod never performs divisions in generating its results.

# Examples

open allclose all

## Basic Examples(2)

Reduce a polynomial modulo 2:

Reduce a polynomial modulo another polynomial:

## Scope(4)

Reduce a polynomial modulo an integer:

Reduce a polynomial modulo a polynomial:

Reduce a polynomial modulo a polynomial and an integer:

Reduce a polynomial modulo two polynomials and an integer:

## Options(3)

### CoefficientDomain(2)

With the default CoefficientDomain->Rationals, integer coefficients can be inverted:

With CoefficientDomain->Integers, PolynomialMod does not invert integer coefficients:

### Modulus(1)

Reduce a polynomial modulo a polynomial over the integers modulo 3:

## Applications(1)

Reduce all coefficients of a polynomial modulo an integer:

## Properties & Relations(5)

For univariate rational polynomials, PolynomialRemainder is the same as PolynomialMod:

PolynomialRemainder considers all polynomials to be univariate in the specified variable:

For multivariate polynomials, PolynomialMod picks its own variable order:

The main variable here is a:

PolynomialRemainder considers parameters to be invertible:

PolynomialMod does not invert symbolic expressions:

Introduced in 1991
(2.0)