Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > Algebraic Number Theory >

Extension

Updated In 6 Graphic
Extension
is an option for various polynomial and algebraic functions that specifies generators for the algebraic number field to be used.
  • For polynomial functions, Extension determines the algebraic number field in which the coefficients are assumed to lie.
  • The setting Extension->a specifies the field Q[a] consisting of the rationals extended by the algebraic number a.
  • Extension->{a1, a2, ...} specifies the field Q[a_1,a_2,…].
  • The ai must be exact numbers, and can involve radicals as well as Root and AlgebraicNumber objects.
  • Extension->Automatic specifies that any algebraic numbers that appear in the input should be included in the extension field.
  • For polynomial functions, the default setting Extension->None specifies that all coefficients are required to be rational. Any algebraic numbers appearing in input are treated like independent variables.
  • Extension->{a1, a2, ...} includes both the ai and any algebraic numbers in the input.
Factor a polynomial over :
In[1]:=
Click for copyable input
Out[1]=
 
PolynomialGCD over the field generated by the algebraic numbers present in the coefficients:
In[1]:=
Click for copyable input
Out[1]=
New in 3 | Last modified in 6
© 2013 Wolfram Research, Inc. Japanese
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team