Ajout de cyclencode (wow, incroyable)

2021-03-11 20:03:40 +01:00 · 2021-03-11 20:03:40 +01:00 · 51d2e44ff8
commit 51d2e44ff8
parent 3a5c532475
2 changed files with 4 additions and 0 deletions
--- a/Codes.ml
+++ b/Codes.ml
@ -146,5 +146,7 @@ let decoder code z =
 		| (_, e) -> antecedent code ((lxor) z e)
 ;;

+let cyclencode code (x:vecteur) :vecteur = polmul code.pol x;;
+

 (* Voilà *)
--- a/Test.ml
+++ b/Test.ml
@ -75,3 +75,5 @@ let cocylined = cycliqueVersLineaire cocycl;;
 print_matrice 7 cocylined.g;;
 print_matrice 4 cocylined.h;;
 distance_minimale cocylined;;
+
+print_vecteur 7 (cyclencode cocycl 0b1010);;