Bonjour,

Je suis en train d'implémenter la division récursive selon l'algo de Burnikel & Ziegler

je suis dans une étape de la récursivité, je tombe sur cet appel (en pseudo-code de mon cru)

Code pseudocode : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
div_bz_3longhalves_by2(result_temp, divid1 | divid2 | divid3 = 0000000000000012 BB2BBB2BBB2BBB2B 000929FEBB2BDA32,
                                                   divis1 | divis2 =             0000000000000000 0000000000000007)

j'ai dividende = divid1*(2^64)^2+divid2*(2^64)^1+divid3*(2^64)^0
et diviseur = divis1*(2^64)^1+divid2*(2^64)^0

je cherche a diviser le dividende 0000000000000012 BB2BBB2BBB2BBB2B 000929FEBB2BDA32 par le diviseur 0000000000000000 0000000000000007

mais ce dernier n'est pas normalisé, ce qui est nécessaire d'après la théorie.
mais le dividende lui-même normalisé du même nombre de bits ne risque-t-il pas de déborder ?

comment normalise-t-on un diviseur pour l'algo de Burnikel & Ziegler dans le cas général ?

Merci