Discussion :

[Remmal]

Bonsoir à tous,

Je suis en train d'écrire un programme qui décompose une application de vecteurs en produit de cycles. Néanmoins, quelque chose m'échappe.

En effet, en écrivant

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
 
let decomp (v:int vect) = let v',r = copy_vect v,ref 0 in
for k=1 to (vect_length v - 1) do 
if v.(v'.(k-1)) <> v'.(!r) then
v'.(k) <- v.(v'.(k-1))
else v'.(k) <- v.(k-1) done;  
v';;

et en écrivant

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
let decomp (v:int vect) = let v',r = copy_vect v,ref 0 in
for k=1 to (vect_length v - 1) do 
if v.(v'.(k-1)) <> v'.(!r) then
v'.(k) <- v.(v'.(k-1))
else v'.(k) <- v.(k-1); r:=k done;  
v';;

Je n'obtiens pas le même résultat, et je ne comprend pas en quoi le changement de r fait varier l'instruction précédente...
Si elle a un effet, comment puis je faire pour d'abord effectuer le changement dans le vecteur,
c'est à dire

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
v'.(k) <- v.(k-1)

puis après changer la valeur de r.

Merci d'avance,

Remmal.

[Remmal]

Si ca peut aider, j'ai utilisé le vecteur [|1;2;4;3;0|] pour tester les deux codes.

Avec le premier on obtient [|1; 2; 4; 0; 3|] qui est le bon résultat, et avec le seconde on obtient [|1; 2; 4; 0; 1|]... Ce qui me semble, comme dit plus haut, étrange,

Remmal.

[gasche]

C'est une erreur syntaxique liée à la priorité de "if .. then .. else" et de ";" :
(if a then b else c; d) veut dire ((if a then b else c); d) et non pas (if a then b else (c; d)).

Pour ne pas se tromper, il faut donc écrire :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
if blah
then foo
else bar;
baz

Dans ton cas (tu veux obtenir l'effet inverse) il faut écrire :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

else (v'.(k) <- v.(k-1); r:=k)

ou encore :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
else begin
  v'.(k) <- v.(k-1);
  r:=k
end

Sinon l'instruction (r := k) est exécutée dans tous les cas (branche "then" comme branche "else").

[Remmal]

Ah super, merci beaucoup pour ces précisions !!

Remmal.

[InOCamlWeTrust]

Je complèterai la remarque de bluestorm en précisant qu'une présentation et une indentation correcte de ton code te permet de voir ce genre de problème au premier coup d'oeil. Aussi, ne joue pas trop au sorcier avec les parenthèses ouvrantes et fermantes... Caml Light et OCaml n'ont pas la même façon de les traiter, et, de plus, la grammaire de Caml possède, de mémoire, une quarantaine de conflits. Tu deviendras donc chauve le jour où, dans un code de quelques pages, tu voudras trouver un bug causé par une de ces parenthèses mal placées. Il convient donc de protéger au maximum les expressions, comme ici...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
let decomp (v:int vect) =
    let (v', r) = ((copy_vect v), (ref 0)) in
 
    for k = 1 to ((vect_length v) - 1) do 
        if v.(v'.(k - 1)) <> v'.(!r) then
            v'.(k) <- v.(v'.(k - 1))
        else
            (v'.(k) <- v.(k - 1);
            r := k)
    done;  
 
v'
;;

Autre chose, si tu pouvais ne pas utiliser Caml Light, se serait beaucoup mieux !

[Remmal]

L'utilisation de Caml Light est imposé par les programmes officiels, et surtout par notre professeur...

En tout cas je tiens bien compte de tes remarques, je pense que pour l'instant je vais privilégier l'utilisation de "begin ... end" quitte à ce que cela soit un peu lourd, et quitte à les remplacer, une fois le programme testé, par des parenthèses.

En tout cas grand merci pour vos réponses rapides et précises,

Remmal.