iquo (ou intDiv) désigne le quotient entier q de la
division euclidienne des deux entiers a et b donnés en argument
(a=b*q+r avec 0≤ r< b).
iquo travaille avec des entiers ou des entiers de Gauss.
Pour les entiers de Gauss, on choisit q pour que b*q soit le plus proche
possible de a et on peut montrer que l’on peut choisir r tel que
|r|2 ≤ |b|2/2.
On tape :
On obtient :
On tape :
On obtient :
ou encore
On obtient :
On a :
a−b*q=−4+i et on a |−4+i|2=17<|5+7*i|2/2=74/2=37