アップグレード情報：

Algebra`PolynomialPowerMod`

PolynomialPowerModの機能が，カーネル関数のPolynomialRemainderで利用できるようになった．
Modulusは現在，カーネル関数PolynomialQuotientおよびPolynomialRemainderのオプションとなっている．

素数と多項式を法とする多項式のベキ乗を計算する：

Version 5.2 << Algebra`PolynomialPowerMod` PolynomialPowerMod[x^2 + x + 1, 400, {x^3 + x^2 + 1, Prime[4750]}]

もとのパッケージはWebのlibrary.wolfram.co.jp/infocenter/MathSource/6758で利用できる．