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]
]
/**/ use ZZ/(3)[x,y];
/**/ SqFreeFactor((x^3+y)*(x+y^3)).factors;
[x^3 +y,  y^3 +x]

See Also