up previous next
factorization of multivariate polynomial into content-free factors
ContentFreeFactor(F: RINGELEM): RECORD
This function returns a factorization of the multivariate polynomial
into (polynomial) content-free factors; it works by calling
repeatedly. The multiplicities will always be 1.
A polynomial which is (polynomial) content-free means that all its irreducible
factors involve all indeterminates appearing in the polynomial itself.
/**/ use P ::= QQ[x,y,z];
/**/ f := 2*(x+1)*(y+2)*(x+y)^2*(x-y);
RemainingFactor := 2,
factors := [y +2, x +1, x^3 +x^2*y -x*y^2 -y^3],
multiplicities := [1, 1, 1]