Quotient entier infixé de la division euclidienne : div

### 6.7.10 Quotient entier infixé de la division euclidienne : div

div est un opérateur infixé qui désigne le quotient entier q de la division euclidienne des deux entiers ou de deux entiers de Gauss a et b donnés en argument (a=b*q+r avec 0≤ r< b).
On tape :

148 div 5

On obtient :

29

On tape :

factorial(148) div (factorial(145)+2)

On obtient :

3176375
factorial(148) div factorial(145)+2

On obtient :

3176378

On tape :

(25+12*i) div (5+7*i)

On obtient :

3-2*i