up previous next
SqFreeFactor

compute a squarefree factorization

Syntax
SqFreeFactor(F: RINGELEM): RECORD

Description
Compute a factorization (of a polynomial) into coprime squarefree factors. The factorization may sometimes be finer than strictly necessary, i.e. two factors could have the same multiplicity.

Example
/**/  use P ::= QQ[x,y,z];
/**/  f := (x^2-1)^2*(y*z+2*z)^3;
/**/  indent(SqFreeFactor(f));
record[
  RemainingFactor := 1,
  factors := [x^2 -1, y +2, z],
  multiplicities := [2, 3, 3]
]

See Also