Bonjour,
 
(Bon, tout d'abord, je préviens : je suis un grand amateur en programmation, merci d'être indulgent et de ne pas me découper en rondelles   ). Voilà, j'essaie de programmer la décomposition en produit de cycles une image selon une transformation donnée bijective (les pixels étant représentés par un enregistrement {X:int, Y:int}, une image étant représentée par une matrice m*n de m*n pixels (les seuls paramètres dont qu'on prend en compte ici sont les paramètres m et n de la matrice, (on transforme les pixels de la matrice en fonction de leur coordonnées uniquement, pas de leur "contenu" ie leur couleur par ex.) ;la transformation, linéaire, sur les points étant donnée par une matrice "transformation" ) Ca donne ça :
 

type point ={X:int;Y:int} ;;
 
let transformation = make_matrix 2 2 0;;
transformation.(0).(0)<- 1 ;transformation.(1).(0)<-1 ;transformation.(1).(1)<-(-1) ;; (je définis ma matrice de transformation)
 
let transformer point n m t =
match point with
{X=i;Y=j}-> let i’=(t.(0).(0)*i + t.(1).(0)*j) mod m
          and j’=(t.(0).(1)*i + t.(1).(1)*j) mod n in
          {X=i’;Y=j’};;
(fonction qui transforme un point de coordonnées i,j en un point de coordonnées i',j')
 
let produit_cycles image transformation = 
   let n = vect_length image and m = vect_length image.(0) in
   let test = (make_vect n (make_vect m false)) and resultat = ref [] in
   for i = 0 to (n-1) do for j=0 to (m-1) do
      if not test.(i).(j) then 
        let cycle = ref [{X=j;Y=i}] and pointeur = ref (transformer ({X=j;Y=i}) n m transformation) in 
             test.(i).(j) <- true;
             while !pointeur <>{X=j;Y=i}do
                 cycle := !pointeur::!cycle;
                 test.(( !pointeur).Y).((!pointeur).X) <- true ;
                 pointeur := transformer !pointeur n m transformation done ;
            resultat := (!cycle)::!resultat done  done ;
            !resultat;;

Le compilateur accepte mon programme    mais dès que je veux l'appliquer à une matrice, il m'affiche invariablement un " Invalid_argument "vect_item"". Je ne vois pas où une matrice est incorrectement indicée.
Je sais que tout ceci est un peu brouillon et manque de clarté, mais une aide serait la bienvenue.
 
Merci d'avance!

Je ne fais pas de Caml donc je doute pouvoir t'aider, mais je recommande 2 choses:

1. Déplacer ton post dans la sous-cat "langages fonctionnels" plutôt que dans Divers hop, un modo l'a fait pour toi
2. Utiliser la balise [ code=ocaml] (et fermer avec [/code ]) (sans les espaces naturellement) pour avoir de la coloration des sources, ça rendra la chose beaucoup plus lisibles pour les gens lisant ton post: bon ben c'est fait aussi

let rec ninetyNineBottlesOfBeer  = function
     0 -> print_string "no more bottles of beer\n"
   | 1 -> print_string "1 bottle of beer on the wall. Take it down, pass it around\n" ; ninetyNineBottlesOfBeer 0
   | n -> print_int n ; print_string " bottles of beer on the wall. Take one down, pass it around\n" ; ninetyNineBottlesOfBeer (n - 1)
  in  ninetyNineBottlesOfBeer 99 ;
 
(* ocamlopt -o ninetyNineBottlesOfBeer nintyNineBottlesOfBeer.ml *)

Sujet déplacé.

Et j'ai ajouté les balises.
A+,

Première chose :
la ligne  

(make_vect n (make_vect m false))

 
va te poser problème. En effet la commande make_vect rend un vectuer dont les éléments sont physiquement égaux à son deuxième argument (dans le sens ==). C'est à dire qu'à chaque fois que tu vas modifier l'élément d'indice j dans la ligne d'indice i, les éléments d'indice j de chaque lignes vont être modifiés en conséquence. Il faut utiliser comme tu l'as fait plus haut "make_matrix".
 
Je n'ai pas identifié ton problème, mais je vais te poser une question quand même : As-tu essayer de retracer à la main les premières étapes de calculs de ton programme ? Tu utilises la boucle interactive pour essayer de voir où est le problème. Sinon tu peux essayer de mettre en commentaire judicieusement certaines parties de ton programme pour essayer toujours d'isoler l'erreur.
 
A+