<<  poliesModP.m

p  =  x^3  +  x +  1

PolynomialRemainderP [x^4,  p, x, 2]

PolynomialQuotientP[x^4, p, x, 2]

PolynomialMod [(1  +  x  +  x^2) (1 + x), 2]

PolynomialRemainderP [1 + x^3,  p,  x, 2]

PolynomialMod[Expand[(x^3 + 2  x)*(x^2 + 5)], 11]

PolynomialMod[
      PolynomialRemainder[10  x + 7  x^3 + x^5, x^4 + 7  x^3 + 5  x^2 + 1, 
        x], 11]

<<  poliesModP.m

<<  irred.m

IsIrreduciblePoly[x^4  +  x^2 +  x  +   1,  x,  3]

f  =  x^4  +  x^2  +  x  +  1

PolynomialExtendedGCDP [f,  x^2 + 1, x, 3]

PolynomialRemainderP[(2 + x^2 + 2  x^3) (x^2 + 1), f, x, 
      3]