NumberFieldNormRepresentatives

NumberFieldNormRepresentatives[a,m]

gives a list of representatives of classes of algebraic integers of norm +/-m in the field generated by the algebraic number a.

Details

  • Algebraic integers are considered to be in the same class if their quotient is a unit in the field .
  • All elements of the number field with norm +/-m can be obtained from the representatives by multiplication by units in the field.

Examples

open allclose all

Basic Examples  (1)

Find the representatives of classes of algebraic integers of norm in :

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=

Scope  (4)

Properties & Relations  (5)

See Also

AlgebraicNumberNorm  NumberFieldFundamentalUnits  AlgebraicIntegerQ

Tutorials

Introduced in 2007
(6.0)