up previous next
FactorAlgExt

factorization algebraic extensions

Syntax
FactorAlgExt(f: RINGELEM): type RECORD

Description
This function factorizes a univariate polynomial with coefficients in an algebraic extension field.

Example
/**/ use QQab ::= QQ[a,b];
/**/ L := QQab/ideal(a^2-2,b^2-3);
/**/ use L[x,y];
/**/ indent(FactorAlgExt(x^2-2));
record[
  RemainingFactor := (1),
  factors := [x +(a), x +(-a)],
  multiplicities := [1, 1]
]
/**/ indent(FactorAlgExt(x^2-6));
record[
  RemainingFactor := (1),
  factors := [x +(-a*b), x +(a*b)],
  multiplicities := [1, 1]
]

See Also