THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

Mathematica > Mathematics and Algorithms > Number Theory > Algebraic Number Theory > ToNumberField >

BUILT-IN MATHEMATICA SYMBOL

ToNumberField

expresses the algebraic number a in the number field generated by

expresses the

in the field generated by

expresses the

in a common extension field generated by a single algebraic number.

ToNumberField gives AlgebraicNumber objects corresponding to elements of the rational extension .

The and can be given in terms of Root or AlgebraicNumber objects, or ordinary rationals and radicals.

If is an algebraic integer the results will always be given in terms of AlgebraicNumber.

ToNumberField gives a representation of the in terms of a primitive element of the field .

ToNumberField is equivalent to ToNumberField[{a₁, a₂, ...}, Automatic], and does not necessarily use the smallest common field extension.

ToNumberField[{a₁, a₂, ...}, All] always uses the smallest common field extension.

ToNumberField[x] converts any form of algebraic number to an explicit AlgebraicNumber object.

Express

in the number field generated by

Express

in the number field generated by

Out[1]=

The generator

of the number field will autoreduce to an algebraic integer:

Radical expressions:

Root objects:

Express

and

in a common extension field:

Express algebraic numbers in the smallest common extension field:

Find a primitive element for

over

Convert an algebraic number to an explicit AlgebraicNumber object: