Struct U64Group

pub struct U64Group<const MOD: u64>(/* private fields */);

See self

Implementations

impl<const MOD: u64> U64Group<MOD>

pub fn new(x: u64) -> Self

Trait Implementations

impl<const MOD: u64> Add for U64Group<MOD>

type Output = U64Group<MOD>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl<const MOD: u64> AddAssign for U64Group<MOD>

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl<const MOD: u64> Clone for U64Group<MOD>

fn clone(&self) -> U64Group<MOD>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const MOD: u64> Debug for U64Group<MOD>

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

Formats the value using the given formatter.

impl<const LAMBDA: usize, const MOD: u64> From<[u8; LAMBDA]> for U64Group<MOD>

fn from(value: [u8; LAMBDA]) -> Self

Converts to this type from the input type.

impl<const LAMBDA: usize, const MOD: u64> From<U64Group<MOD>> for [u8; LAMBDA]

fn from(value: U64Group<MOD>) -> Self

Converts to this type from the input type.

impl<const LAMBDA: usize, const MOD: u64> Group<LAMBDA> for U64Group<MOD>

fn zero() -> Self

Zero in the group

fn add_inverse(self) -> Self

Additive inverse in the group, e.g., -x for x in the integer group

fn add_inverse_if(self, t: bool) -> Self

Helper to get the additive inverse if true. Used for expressions like $(-1)^n x$, in which t can be computed from n.

impl<const MOD: u64> PartialEq for U64Group<MOD>

fn eq(&self, other: &U64Group<MOD>) -> 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<const MOD: u64> Eq for U64Group<MOD>

impl<const MOD: u64> StructuralPartialEq for U64Group<MOD>