Recherche:

Bonjour,

J'ai un problème à partir de là :
amalsek@amalsek-desktop:~$ wine qt-win-opensource-4.1.2-mingw.exe
Où est-ce que je dois installer le programme et quel dossier je dois mettre pour...

En fait il nous a donné des poly à étudier pendant les vacances, dans un des paragraphes on étudie ça sous forme x^2n = x^n * x^n. Il nous propose la manière récursif et nous demande de transformer...

let exp a n0 =
let x = ref a and n = ref n0 and res = ref 1. in
while (!n > 0) do
if (!n mod 2) = 1
then begin n := !n-1; res := !ref *. !x; end
else begin x := !x...

Merci pour la réponse, mais il y a quelques soucis :


Dans ses messages #8 et #10, gorgonite dit que le x est en fait inutile et que l'invariant de boucle est bien : res * a^n = a^n0.

Le fait...

Je dois être vraiment mauvais car je vois pas où tu veux en venir !
Avec ton point de départ, je ne vois qu'un seul chemin : utiliser l'algorithme naïf :

res := !res * a; n := !n - 1;
Enfin,...

Je comprends mal tes notations, je chercher à calculer x^n.
Alors n0 est la référence sur n ? res c'est le résultat d'accord.
Mais alors tu dis que x = a est inutile donc l'invariant de boucle...

Mais ça fait trois références et pas deux ?

L'exponentiation rapide c'est justement ce qu'on est en train d'apprendre mais on a pas encore vraiment de méthode.
L'algorithme a utilisé est :


Mais le problème avec l'itération c'est qu'on...

Merci pour les réponses je regarderai ce soir.

Je signale juste qu'il y a une erreur dans le programme c'est plutôt :

let rec puiss x n = match n with
| 0 -> 1.0
| _ -> let y = puiss x...

Bonjour,

J'essaie de transformer ce programme récursif :

let rec puiss x n = match n with
| 0 -> 1.0
| _ -> let y = puiss x (n/2) in
if n mod 2 = 0 then puiss y (n/2) else x...