Struct group_math::int_prime::U128Group

pub struct U128Group<const MOD: u128>(/* private fields */);

See self

Implementations

impl<const MOD: u128> U128Group<MOD>

pub fn new(x: u128) -> Self

Trait Implementations

impl<const MOD: u128> Add for U128Group<MOD>

type Output = U128Group<MOD>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<const MOD: u128> AddAssign for U128Group<MOD>

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl<const MOD: u128> Clone for U128Group<MOD>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const MOD: u128> Debug for U128Group<MOD>

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

Formats the value using the given formatter.

impl<const LAMBDA: usize, const MOD: u128> From<[u8; LAMBDA]> for U128Group<MOD>

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

Converts to this type from the input type.

impl<const LAMBDA: usize, const MOD: u128> From<U128Group<MOD>> for [u8; LAMBDA]

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

Converts to this type from the input type.

impl<const LAMBDA: usize, const MOD: u128> Group<LAMBDA> for U128Group<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: u128> PartialEq for U128Group<MOD>

fn eq(&self, other: &U128Group<MOD>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<const MOD: u128> Eq for U128Group<MOD>

impl<const MOD: u128> StructuralEq for U128Group<MOD>

impl<const MOD: u128> StructuralPartialEq for U128Group<MOD>