Module `Codec.MakePoly`Source

Create a Reed-Solomon code based on the given Galois field and code parameters

Parameters

module G : Galois.Table.Ops

module P : RsParams

Signature

Sourcetype elt = G.t

Sourcemodule M : Matrix.S with type t = elt

Sourcemodule R : Poly.S with type t = elt array and type elt = elt

Sourcetype poly = R.t

Sourcetype loc = int

Sourceval root : int -> elt

Sourceval generator : poly

Sourceval xn : int -> poly

Sourceval x2t : poly

Sourceval parity : poly -> poly

Sourceval encode : poly -> poly

Sourceval horner : poly -> elt -> elt

Sourceval syndromes : poly -> poly

Sourceval key_equations : poly -> int -> M.matrix * M.matrix

Sourceval solve_key_equations : (M.matrix * M.matrix) -> M.matrix

Sourceval peterson : poly -> poly

Sourceval euclid_inner : (poly * poly) -> (poly * poly) -> poly * poly

Sourceval euclid : ?norm:bool -> ?lim:int -> poly -> poly * poly

Source

val berlekamp_massey_iter : 
  poly ->
  int ->
  (poly * poly * int) ->
  poly * poly * int

Sourceval berlekamp_massey : poly -> poly

Sourcemodule Sarwate : sig ... end

inversionless berlekamp massey algorithms.

Sourceval chien : poly -> loc list

Sourceval error_location : loc -> int

Sourceval error_magnitude : int -> poly -> poly -> poly

Sourceval deriv : poly -> poly

Sourceval forney : poly -> poly -> loc -> elt

Sourceval error : elt list -> loc list -> poly

Sourceval correct : poly -> poly -> poly

Sourceval decode_euclid : poly -> poly

Sourceval decode_berlekamp_massey : poly -> poly

Sourceval decode_peterson : poly -> poly

Sourceval decode : poly -> poly

Sourceval erasure_locator : int list -> poly

Sourceval zero_erasures : poly -> int list -> poly

Sourceval error_and_erasure : elt list -> loc list -> elt list -> loc list -> poly

Sourceval decode_erasures_euclid : poly -> int list -> poly

Sourceval decode_erasures : poly -> int list -> poly

Sourceval decode_errors_and_erasures_euclid : poly -> int list -> poly

Sourceval decode_errors_and_erasures : poly -> int list -> poly

package reedsolomon

Module Codec.MakePolySource

Parameters

Signature

Module `Codec.MakePoly`Source