Enum NsField 

pub enum NsField {
    Prime(u64),
    Gf4,
}

The coefficient field of the general engine. Elements are u64-encoded: Prime(p) uses the residues 0..p; Gf4 uses 2-bit pairs a + b·ω in the basis {1, ω} with ω² = ω + 1 (value a | b<<1).

Variants

Prime(u64)

Gf4

Implementations

impl NsField

pub fn order(self) -> u64

The number of field elements (p, resp. 4).

pub fn characteristic(self) -> u64

The field characteristic (p, resp. 2) — the only parameter NS degree actually depends on.

pub fn add(self, a: u64, b: u64) -> u64

pub fn neg(self, a: u64) -> u64

pub fn sub(self, a: u64, b: u64) -> u64

pub fn mul(self, a: u64, b: u64) -> u64

pub fn inv(self, a: u64) -> u64

Multiplicative inverse of a nonzero element (Fermat over Prime(p); the 4-entry table over Gf4).

pub fn embed_int(self, n: u128) -> u64

The image of an integer under the unique ring map ℤ → F — n mod characteristic. This is how group orders and counting arguments enter the field (|G| = 0 in F iff char | |G|).

Trait Implementations

impl Clone for NsField

fn clone(&self) -> NsField

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NsField

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

Formats the value using the given formatter.

impl PartialEq for NsField

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for NsField

impl Eq for NsField

impl StructuralPartialEq for NsField