Skip to main content

ReedSolomon

Struct ReedSolomon 

Source
pub struct ReedSolomon { /* private fields */ }
Expand description

A (shortened) Reed–Solomon code over $\mathrm{GF}(2^{m})$ (see the module).

Implementations§

Source§

impl ReedSolomon

Source

pub fn new(m: u32, t: usize) -> Result<ReedSolomon>

The $t$-error-correcting code of length $2^{m} - 1$ over the field of the conventional primitive polynomial (primitive_polynomial), roots $\alpha, \dots, \alpha^{2t}$ ($b = 1$).

§Errors

comnum_core::Error::Config for $m$ outside 2 to 16 or $2t \ge 2^{m} - 1$.

Source

pub fn shortened(m: u32, t: usize, n: usize) -> Result<ReedSolomon>

The code of ReedSolomon::new shortened to n symbols.

§Errors

comnum_core::Error::Config for $m$ outside 2 to 16 or a length that leaves no information symbol or exceeds $2^{m} - 1$.

Source

pub fn with_field( m: u32, poly: u32, first_root: usize, root_step: usize, t: usize, n: usize, ) -> Result<ReedSolomon>

The code of n symbols correcting t errors over the field of the primitive polynomial poly (bit $i$ the coefficient of $x^{i}$), with the generator roots $\beta^{b}, \dots, \beta^{b+2t-1}$, $\beta = \alpha^{c}$: first_root is $b$ and root_step is $c$.

§Errors

comnum_core::Error::Config for $m$ outside 2 to 16, a polynomial that is not primitive, a root step that is not coprime with $2^{m} - 1$, $t = 0$, or a length that leaves no information symbol or exceeds $2^{m} - 1$.

Source

pub fn n_symbols(&self) -> usize

Codeword length $n$ in symbols (BlockCode::n counts the $nm$ bits).

Source

pub fn k_symbols(&self) -> usize

Message length $k = n - 2t$ in symbols (BlockCode::k counts the $km$ bits).

Source

pub fn t(&self) -> usize

Errors corrected $t$.

Source

pub fn m(&self) -> u32

Bits per symbol $m$.

Source

pub fn first_root(&self) -> usize

The first consecutive root $b$.

Source

pub fn root_step(&self) -> usize

The root step $c$ ($\beta = \alpha^{c}$).

Source

pub fn field(&self) -> &Field

The field.

Source

pub fn generator(&self) -> &[u16]

The generator polynomial $g(x)$, lowest degree first (monic, degree $2t$).

Source

pub fn encode_symbols(&self, msg: &[u16]) -> Result<Vec<u16>>

The codeword of $k$ message symbols: the message, then the $2t$ parity symbols (highest degree first).

§Errors

comnum_core::Error::Shape for another number of symbols, comnum_core::Error::Config for a symbol that does not fit in $m$ bits.

Source

pub fn decode_symbols(&self, r: &[u16]) -> Result<(Vec<u16>, Option<usize>)>

Decode $n$ received symbols: the message and the number of corrected symbols (None if the word has more errors than the code corrects and they were detected; the message symbols are then returned as received).

§Errors

comnum_core::Error::Shape for another number of symbols, comnum_core::Error::Config for a symbol that does not fit in $m$ bits.

Source

pub fn decode_erasures( &self, r: &[u16], erasures: &[usize], ) -> Result<(Vec<u16>, Option<usize>)>

Decode $n$ received symbols with the positions erasures (0 to $n - 1$, in transmission order) known to be unreliable: the message and the number of corrected symbols (erasures included), None for a decoding failure (more than $2t - s$ errors in the $n - s$ other positions, when detected; the message symbols are then returned as received).

§Errors

comnum_core::Error::Shape for another number of symbols, comnum_core::Error::Config for a symbol that does not fit in $m$ bits, an erasure position outside the word, a repeated one, or more than $2t$ erasures.

Source

pub fn encode(&self, bits: &[u8]) -> Result<Vec<u8>>

The codeword of $km$ message bits as $nm$ bits ($m$ per symbol, most significant first): the message bits, then the parity.

§Errors

comnum_core::Error::Shape for another number of bits.

Source

pub fn decode(&self, bits: &[u8]) -> Result<(Vec<u8>, Option<usize>)>

Decode $nm$ hard bits: the $km$ message bits and the number of corrected symbols (None for a detected decoding failure, the message bits then returned as received).

§Errors

comnum_core::Error::Shape for another number of bits.

Trait Implementations§

Source§

impl BlockCode for ReedSolomon

Source§

fn decode_block(&self, llr: &[f64]) -> Result<Vec<u8>>

Hard decisions of the LLRs, then ReedSolomon::decode; a decoding failure returns the message bits as received.

Source§

fn k(&self) -> usize

Information bits per block.
Source§

fn n(&self) -> usize

Coded bits per block.
Source§

fn encode_block(&self, info: &[u8]) -> Result<Vec<u8>>

Encode one block of $k$ bits. Read more
Source§

fn encode_block_into(&self, info: &[u8], out: &mut [u8]) -> Result<()>

Encode one block of $k$ bits into the $n$ values of out (ADR 0011: the default copies BlockCode::encode_block; a code overrides it when a profile shows the copy). Read more
Source§

fn decode_block_into(&self, llr: &[f64], out: &mut [u8]) -> Result<()>

Decode one block of $n$ LLRs into the $k$ values of out (as BlockCode::encode_block_into). Read more
Source§

fn code_rate(&self) -> f64

Code rate $k/n$.
Source§

fn encode_stream(&self, info: &[u8]) -> Result<Vec<u8>>

Encode whole blocks. Read more
Source§

fn decode_stream(&self, llr: &[f64]) -> Result<Vec<u8>>

Decode whole blocks. Read more
Source§

impl Clone for ReedSolomon

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for ReedSolomon

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Decode for ReedSolomon

Source§

fn decode_into(&mut self, llr: &Llr, out: &mut Bits) -> Result<()>

Decode llr into out. Read more
Source§

fn decode(&mut self, llr: &Llr) -> Result<Bits, Error>

Decode llr (allocates, calls Decode::decode_into). Read more
Source§

impl Encode for ReedSolomon

Source§

fn rate(&self) -> f64

Code rate k/n.
Source§

fn encode_into(&self, info: &Bits, out: &mut Bits) -> Result<()>

Encode info into out. Read more
Source§

fn encode(&self, info: &Bits) -> Result<Bits, Error>

Encode info (allocates, calls Encode::encode_into). Read more
Source§

impl Eq for ReedSolomon

Source§

impl PartialEq for ReedSolomon

Source§

fn eq(&self, other: &Self) -> bool

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for ReedSolomon

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.