アップグレード情報：

NumberTheory`AlgebraicNumberFields`

Algebraicが，新しく加わった組込みの Mathematica カーネル関数AlgebraicNumberとして利用できるようになった．
ToCommonFieldおよびToNumberFieldElementが，新しく加わった組込みの Mathematica カーネル関数ToNumberFieldとして利用できるようになった．
MinimalPolynomial，AlgebraicIntegerQ，AlgebraicNumberDenominator， AlgebraicNumberTrace，AlgebraicNumberNorm，AlgebraicUnitQ，RootOfUnityQが，組込みの Mathematica カーネルに加わった．
IntegralBasisが，新しく加わった組込みの Mathematica カーネル関数NumberFieldIntegralBasisとして利用できるようになった．
FundamentalUnitsが，新しく加わった組込みの Mathematica カーネル関数NumberFieldFundamentalUnitsとして利用できるようになった．
NormRepresentativesが，新しく加わった組込みの Mathematica カーネル関数NumberFieldNormRepresentativesとして利用できるようになった．
NumberFieldSignature，NumberFieldDiscriminant，NumberFieldRegulatorが組込みの Mathematica カーネルに加わった．
RootsOfUnityが，新しく加わった組込みの Mathematica カーネル関数NumberFieldRootsOfUnityとして利用できるようになった．

AlgebraicNumber

代数的数を表し，数値近似を得る：

Version 5.2

ToNumberField

指定された代数的数を含む有理数の共通有限拡大体を見付ける：

Version 5.2

以下は，指定された代数的数を含む有理数の共通の最小有限拡大体を見付ける：

Version 5.2

これは，をRoot[1-10#1²+#1⁴&,4]により生成された体の要素として表す：

Version 5.2

MinimalPolynomial

純関数として表されたの最小多項式を求める：

Version 5.2

NumberFieldIntegralBasis

533+429 #1+18 #1²+#1³&の最初の根により生成された体の整数底を求める：

Version 5.2

NumberFieldFundamentalUnits

代数的数Sqrt[2]により生成された体[Sqrt[2]]の基本単位を求める：

Version 5.2

NumberFieldNormRepresentatives

Sqrt[2]+Sqrt[3]により生成された体のノルム2の要素のクラスの代表集合を与える：

Version 5.2

NumberFieldSignature

数体の符号数を見付ける：

Version 5.2

NumberFieldRootsOfUnity

体におけるすべての1のベキ根：

Version 5.2

これまでのバージョンの Mathematica で利用できたNumberFieldCharacteristicPolynomialおよびNumberFieldTraceが，新たにWeb (library.wolfram.co.jp/infocenter/MathSource/6827)から利用できるようになった．