Armael/TIPE-Braids
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
67 commits 1 branch 0 tags 689 KiB
  • TeX 62.2%
  • OCaml 37.6%
  • Shell 0.2%
Find a file
Exact
Armael 6a42a7eafb makedoc moins invasif
2012-06-08 20:33:13 +02:00
Braid.ml Ajout de commentaires (et petite correction dans Permutation.ml) 2012-05-24 19:40:45 +02:00
Braid.mli Mise à jour du README, TODO, et renommage de quelques fonctions just for fun. 2012-03-03 01:50:09 +01:00
Braid.pdf Ajout du code des modules en latex fourni par ocamlweb 2012-06-08 19:38:38 +02:00
Braid.tex Ajout du code des modules en latex fourni par ocamlweb 2012-06-08 19:38:38 +02:00
Braid_Print.ml Ajout de commentaires (et petite correction dans Permutation.ml) 2012-05-24 19:40:45 +02:00
Braid_Print.mli Ajout d'une fonction pour afficher graphiquement les tresses (des problèmes de raccordement persistent) 2011-11-07 22:40:10 +01:00
Braid_Print.pdf Ajout du code des modules en latex fourni par ocamlweb 2012-06-08 19:38:38 +02:00
Braid_Print.tex Ajout du code des modules en latex fourni par ocamlweb 2012-06-08 19:38:38 +02:00
Braid_Reverse.ml Utilisation de l'opérateur cool de concaténation 2012-01-20 18:26:50 +01:00
Braid_Reverse.mli Ajout d'une fonction testant l'équivalence de deux mots de tresse 2011-11-25 22:17:20 +01:00
Canonical.ml Coquille 2012-06-08 17:00:40 +02:00
Canonical.mli Ajout d'un champ indiquant la taille de la tresse dans le type braid_permlist, et possibilité de passer en argument le tableau temporaire pour la composition de permutations 2012-03-17 14:23:25 +01:00
Canonical.pdf Ajout du code des modules en latex fourni par ocamlweb 2012-06-08 19:38:38 +02:00
Canonical.tex Ajout du code des modules en latex fourni par ocamlweb 2012-06-08 19:38:38 +02:00
delta.ml Stuff 2012-01-20 18:26:19 +01:00
DiffieHellman.ml Implémentation d'une heuristique pouvant résoudre le problème de conjugaison et ainsi casser certains cryptages. (ne marche pas encore) 2012-03-17 14:24:59 +01:00
Hack.ml Correction de bug : ordre des arguments ! + downto dans guess_perm 2012-05-25 20:57:55 +02:00
Hack.mli Correction de bug : ordre des arguments ! + downto dans guess_perm 2012-05-25 20:57:55 +02:00
Hackstats.ml Programme tentant l'algorithme de recherche de conjugateur sur de nombreuses tresses aléatoires, pour différentes tailles (version propre) 2012-06-08 19:35:31 +02:00
makedoc.sh makedoc moins invasif 2012-06-08 20:33:13 +02:00
Permutation.ml Ajout d'une fonction calculant le pgcd à gauche de deux tresses, et de la version correspondante pour la mise sous forme canonique 2012-05-30 17:51:50 +02:00
Permutation.mli Ajout d'une fonction calculant le pgcd à gauche de deux tresses, et de la version correspondante pour la mise sous forme canonique 2012-05-30 17:51:50 +02:00
Permutation.pdf Ajout du code des modules en latex fourni par ocamlweb 2012-06-08 19:38:38 +02:00
Permutation.tex Ajout du code des modules en latex fourni par ocamlweb 2012-06-08 19:38:38 +02:00
README.markdown Script de génération de documentation grâce à ocamlweb 2012-05-24 19:39:27 +02:00
repl.ml Stuff 2011-12-02 16:59:49 +01:00
rev.ml Fonction permettant de séparer générateurs positifs et générateurs négatifs, avec programme d'exemple rev.ml 2011-11-12 00:51:29 +01:00
TODO Mise à jour du README, TODO, et renommage de quelques fonctions just for fun. 2012-03-03 01:50:09 +01:00

README.markdown

Quelques programmes sur les tresses

Le code présent ici permet de transformer des mots de tresses en forme canonique (liste de permutations) et de les manipuler (comparaison, produit, inverse, conjugaison...). Pour tester, il y a un petit programme simulant un protocole d'échange de clé inspiré de Diffie-Hellman employant la conjugaison par des tresses commutant entre elles.

Compilation :

ocamlbuild DiffieHellman.byte

pour compiler en bytecode, et

ocamlbuild DiffieHellman.native

pour compiler en natif avec un compilateur capable d'optimisations.

Il est possible d'exporter le code source grâce à ocamlweb. Pour ce faire, utiliser le script makedoc.sh en lui passant en argument le fichier source.