AlgebraicNumberTrace

AlgebraicNumberTrace[a]

gives the trace of the algebraic number a.

Details and Options

  • The trace of a is defined to be the sum of the roots of its minimal polynomial.
  • AlgebraicNumberTrace[a,Extension->θ] finds the trace of a over the field .

Examples

open allclose all

Basic Examples  (1)

Scope  (4)

Integers and rational numbers:

Radical expressions:

Root and AlgebraicNumber objects:

AlgebraicNumberTrace automatically threads over lists:

Options  (1)

Extension  (1)

Trace of over :

Properties & Relations  (3)

AlgebraicNumberTrace is additive:

Use ToNumberField to find the trace of in the field :

The trace is the sum of its minimal polynomial roots:

Introduced in 2007
 (6.0)