6.14.12  Factorisation dans ℂ : cFactor factoriser_sur_C cfactor

cFactor ou cfactor ou factoriser_sur_C a comme paramètre une expression que l’on veut factoriser sur le corps des complexes sans avoir besoin d’être en mode complexe. Lorsqu’il y a plus de 2 variables la factorisation se fait sur les entiers de Gauss.
Exemples

1. Factoriser dans C :

   x4−1

   On tape :
   cFactor(x^4-1)
   On obtient :
   -((x+-i)*((-i)*x+1)*((-i)*x+i)*(x+1))
2. Factoriser dans C :

   x4+1

   On tape :
   cFactor(x^4+1)
   On obtient :
   (x^2+i)*(x^2+-i)
   Puis, on tape :
   cFactor(sqrt(2)*(x^2+i))*cFactor(sqrt(2)*(x^2+-i))
   On obtient :
   sqrt(2)*1/2*(sqrt(2)*x+1-i)*(sqrt(2)*x-1+i)*sqrt(2)* 1/2*(sqrt(2)*x+1+i)*(sqrt(2)*x-1-i)
   Mais si on tape, :
   cFactor(sqrt(2)*(x^4+1))
   On obtient :
   sqrt(2)*(x^2+sqrt(2)*x+1)*(x^2+(-(sqrt(2)))*x+1)