Trait erase::Field

pub trait Field: Sized {
    type Elem: Default + Clone + Copy + PartialEq + Debug;

    const ORDER: usize;

    fn add(a: Self::Elem, b: Self::Elem) -> Self::Elem;
    fn mul(a: Self::Elem, b: Self::Elem) -> Self::Elem;
    fn div(a: Self::Elem, b: Self::Elem) -> Self::Elem;
    fn exp(a: Self::Elem, n: usize) -> Self::Elem;
    fn zero() -> Self::Elem;
    fn one() -> Self::Elem;
    fn nth(n: usize) -> Self::Elem;

    fn mul_slice(elem: Self::Elem, input: &[Self::Elem], out: &mut [Self::Elem]) { ... }
    fn mul_slice_add(
        elem: Self::Elem, 
        input: &[Self::Elem], 
        out: &mut [Self::Elem]
    ) { ... }
}

A finite field to perform encoding over.

Associated Types

type Elem: Default + Clone + Copy + PartialEq + Debug

The representational type of the field.

Loading content...

Associated Constants

const ORDER: usize

The order of the field. This is a limit on the number of shards in an encoding.

Loading content...

Required methods

fn add(a: Self::Elem, b: Self::Elem) -> Self::Elem

Add two elements together.

fn mul(a: Self::Elem, b: Self::Elem) -> Self::Elem

Multiply two elements together.

fn div(a: Self::Elem, b: Self::Elem) -> Self::Elem

Divide a by b. Panics is b is zero.

fn exp(a: Self::Elem, n: usize) -> Self::Elem

Raise a to the n’th power.

fn zero() -> Self::Elem

The “zero” element or additive identity.

fn one() -> Self::Elem

The “one” element or multiplicative identity.

fn nth(n: usize) -> Self::Elem

Yield the nth element of the field. Panics if n >= ORDER. Assignment is arbitrary but must be unique to n.

Loading content...

Provided methods

fn mul_slice(elem: Self::Elem, input: &[Self::Elem], out: &mut [Self::Elem])

Multiply a slice of elements by another. Writes into the output slice.

Panics

Panics if the output slice does not have equal length to the input.

fn mul_slice_add(elem: Self::Elem, input: &[Self::Elem], out: &mut [Self::Elem])

Multiply a slice of elements by another, adding each result to the corresponding value in out.

Panics

Panics if the output slice does not have equal length to the input.

Loading content...

Implementors

impl Field for erase::galois_8::Field

const ORDER: usize

type Elem = u8

fn add(a: u8, b: u8) -> u8

fn mul(a: u8, b: u8) -> u8

fn div(a: u8, b: u8) -> u8

fn exp(elem: u8, n: usize) -> u8

fn zero() -> u8

fn one() -> u8

fn nth(n: usize) -> u8

fn mul_slice(c: u8, input: &[u8], out: &mut [u8])

fn mul_slice_add(c: u8, input: &[u8], out: &mut [u8])

impl Field for erase::galois_16::Field

const ORDER: usize

type Elem = [u8; 2]

fn add(a: [u8; 2], b: [u8; 2]) -> [u8; 2]

fn mul(a: [u8; 2], b: [u8; 2]) -> [u8; 2]

fn div(a: [u8; 2], b: [u8; 2]) -> [u8; 2]

fn exp(elem: [u8; 2], n: usize) -> [u8; 2]

fn zero() -> [u8; 2]

fn one() -> [u8; 2]

fn nth(n: usize) -> [u8; 2]

Loading content...