next up previous contents index
suivant: Reste entier de la monter: Les entiers (et les précédent: Quotient entier infixé de   Table des matières   Index


Quotient entier de la division euclidienne : iquo intDiv

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 $ \leq$ r < b).
iquo travaille avec des entiers ou des entiers de Gauss.
Pour les entiers de Gauss, on choisit q pour b*q soit le plus proche possible de a et on peut montrer que l'on peut choisir r tel que | r|2 $ \leq$ | b|2/2.
On tape :
iquo(148,5)
On obtient :
29
On tape :
iquo(factorial(148),factorial(145)+2)
On obtient :
3176375
ou encore
iquo(25+12*i,5+7*i)
On obtient :
3-2*i
On a :
a - b*q = - 4 + i et on a | - 4 + i|2 = 17 < | 5 + 7*i|2/2 = 74/2 = 37



Documentation de giac écrite par Renée De Graeve