Mysaa
929150577c
Modification du Makefile qui détecte tout seul la présence d'un mli. Rangement des pdfs dans un sous-dossier "Documents"
28 lines
596 B
OCaml
28 lines
596 B
OCaml
module CLineaire :
|
|
sig
|
|
type t = {
|
|
k : int;
|
|
n : int;
|
|
g : Math.matrice;
|
|
h : Math.matrice; }
|
|
type code_lineaire = t
|
|
|
|
val encoder : code_lineaire -> Math.vecteur -> Math.vecteur
|
|
val systematiqueFromRedondance : int -> int -> int list -> code_lineaire
|
|
val distance_minimale : code_lineaire -> int
|
|
val decoder : code_lineaire -> int -> Math.vecteur
|
|
val appartenir : code_lineaire -> Math.vecteur -> bool
|
|
end
|
|
|
|
module CCyclique :
|
|
sig
|
|
type t = {
|
|
k : int;
|
|
n : int;
|
|
pol : Math.polynome; }
|
|
|
|
val get : int -> int -> Math.polynome -> t
|
|
end
|
|
|
|
val cycliqueVersLineaire : CCyclique.t -> CLineaire.t
|