Factorisation dans ℂ : cFactor factoriser_sur_C cfactor

### 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)