Extension
Extension
是各种多项式和代数函数的一个可选项，它指定所使用的代数数域的生成器.
更多信息
- 对于多项式函数，Extension 确定假设系数位于的代数数域.
- Extension->a 的设置指定数域
，由代数数 a 扩展的有理数组成. - Extension->{a1,a2,…} 指定域
. - ai 必需是精确数，并且可以包含根式以及 Root、AlgebraicNumber 对象.
- Extension->Automatic 指定在扩展域中应该包含出现在输入中的任意代数数.
- 对于多项式函数，默认设置 Extension->None 指定所有系数必须是有理数. 任何出现在输入中的代数数都被当作独立变量.
- Extension->{a1,a2,…} 在输入中包括 ai 和任意代数数.
- GaussianIntegers->True 等价于 Extension->I.
范例
打开所有单元 关闭所有单元基本范例 (2)
Factor 是 
中的一个多项式：
Factor[x ^ 2 - 2, Extension -> Sqrt[2]]PolynomialGCD 在代数数产生域中表示当前系数：
PolynomialGCD[x ^ 2 - 2Sqrt[3]x + 3, x ^ 2 - 3, Extension -> Automatic]范围 (8)
Factor[x ^ 4 - 9]
Factor[x ^ 4 - 9, Extension -> Sqrt[3]]下面指定因式分解在 
和 I 的有理扩展域上执行：
Factor[x ^ 4 - 9, Extension -> {Sqrt[3], I}]在默认情况下，PolynomialGCD 将代数数作为独立变量处理：
PolynomialGCD[x ^ 3 - x + 1, x ^ 2 - Root[# ^ 3 - # + 1&, 1] ^ 2]PolynomialGCD[x ^ 3 - x + 1, x ^ 2 - Root[# ^ 3 - # + 1&, 1] ^ 2, Extension -> Automatic]在默认情况下，Together 将代数数作为独立变量处理：
Together[1 / (Sqrt[2] + x) + 1 / (x ^ 2 - 2)]在 Extension->Automatic 下，Together 在代数上识别依赖系数：
Together[1 / (Sqrt[2] + x) + 1 / (x ^ 2 - 2), Extension -> Automatic]在默认情况下，范数在由 AlgebraicNumber 对象生成的域上计算：
a = ToNumberField[Sqrt[2], Sqrt[2] + Sqrt[3]]AlgebraicNumberNorm[a]下面计算表示 AlgebraicNumber 对象的域中的范数：
AlgebraicNumberNorm[a, Extension -> Automatic]
AlgebraicNumberNorm[a, Extension -> Sqrt[2] + Sqrt[3] + Sqrt[5]]属性和关系 (1)
对于 Factor， Extension->I 等价于 GaussianIntegers->True：
Factor[x ^ 4 + 1, Extension -> I]Factor[x ^ 4 + 1, GaussianIntegers -> True]
Wolfram Research (1996)，Extension，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Extension.html （更新于 2007 年）.
文本
Wolfram Research (1996)，Extension，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Extension.html （更新于 2007 年）.
CMS
Wolfram 语言. 1996. "Extension." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2007. https://reference.wolfram.com/language/ref/Extension.html.
APA
Wolfram 语言. (1996). Extension. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Extension.html 年