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