MathTop

factor_norm_euclidean 函数

按 Z[I] 的范数欧几里得结构分解高斯整数。

语法

  • NumberTheory:-FactorNormEuclidean(z)
  • FactorNormEuclidean(z)
  • FactorNormEuclidean(z, -1)
  • FactorNormEuclidean(z, output = product)
  • factor_norm_euclidean(z)

参数与选项

z形如 a + b*I 的高斯整数。
d可选的二次域参数；d = -1 表示高斯整数环。
output取 list 返回因子指数表；取 product 返回相乘后的表达式。

示例

  1. 高斯整数平方FactorNormEuclidean(3 + 4*I)返回 [[2 + I, 2]]。
  2. 有理素数分裂FactorNormEuclidean(5)返回 [[2 + I, 1], [2 - I, 1]]。
  3. 乘积输出FactorNormEuclidean(3 + 4*I, output = product)返回 3 + 4*I。
  4. 包形式NumberTheory:-FactorNormEuclidean(3 + 4*I)返回 [[2 + I, 2]]。