Struct dashu_int::modular::Reduced

source ·
pub struct Reduced<'a>(/* private fields */);
Expand description

Modular arithmetic.

Examples

let ring = ConstDivisor::new(UBig::from(10000u32));
let x = ring.reduce(12345);
let y = ring.reduce(55443);
assert_eq!((x - y).residue(), UBig::from(6902u32));

Implementations§

source§

impl<'a> Reduced<'a>

source

pub fn dbl(self) -> Self

Calculate 2*target mod m in reduced form

Examples
let p = UBig::from(0x1234u16);
let ring = ConstDivisor::new(p.clone());
let a = ring.reduce(4000);
assert_eq!(a.dbl(), ring.reduce(4000 + 4000));
source§

impl Reduced<'_>

source

pub fn residue(&self) -> UBig

Get the residue in range 0..n in an n-element ring.

Examples
let ring = ConstDivisor::new(UBig::from(100u8));
let x = ring.reduce(-1234);
assert_eq!(x.residue(), UBig::from(66u8));
source

pub fn modulus(&self) -> UBig

Get the modulus of the ring that this element belongs to.

source§

impl<'a> Reduced<'a>

source

pub fn inv(&self) -> Option<Reduced<'a>>

Multiplicative inverse.

Examples
// A Mersenne prime.
let p = UBig::from(2u8).pow(127) - UBig::ONE;
let ring = ConstDivisor::new(p.clone());
// Fermat's little theorem: a^(p-2) = a^-1 (mod p)
let a = ring.reduce(123);
let ainv = a.clone().inv().unwrap();
assert_eq!(ainv, a.pow(&(p - UBig::from(2u8))));
assert_eq!((a * ainv).residue(), UBig::ONE);
source§

impl<'a> Reduced<'a>

source

pub fn sqr(&self) -> Self

Calculate target^2 mod m in reduced form

Examples
let p = UBig::from(0x1234u16);
let ring = ConstDivisor::new(p.clone());
let a = ring.reduce(4000);
assert_eq!(a.sqr(), ring.reduce(4000 * 4000));
source§

impl<'a> Reduced<'a>

source

pub fn pow(&self, exp: &UBig) -> Reduced<'a>

Exponentiation.

If you want use a negative exponent, you can first use inv() to convert the base to its inverse, and then call this method.

Examples
// A Mersenne prime.
let p = UBig::from(2u8).pow(607) - UBig::ONE;
let ring = ConstDivisor::new(p.clone());
// Fermat's little theorem: a^(p-1) = 1 (mod p)
let a = ring.reduce(123);
assert_eq!(a.pow(&(p - UBig::ONE)), ring.reduce(1));

Trait Implementations§

source§

impl<'a> Add<&Reduced<'a>> for &Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the + operator.
source§

fn add(self, rhs: &Reduced<'a>) -> Reduced<'a>

Performs the + operation. Read more
source§

impl<'a> Add<&Reduced<'a>> for Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the + operator.
source§

fn add(self, rhs: &Reduced<'a>) -> Reduced<'a>

Performs the + operation. Read more
source§

impl<'a> Add<Reduced<'a>> for &Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the + operator.
source§

fn add(self, rhs: Reduced<'a>) -> Reduced<'a>

Performs the + operation. Read more
source§

impl<'a> Add<Reduced<'a>> for Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the + operator.
source§

fn add(self, rhs: Reduced<'a>) -> Reduced<'a>

Performs the + operation. Read more
source§

impl<'a> AddAssign<&Reduced<'a>> for Reduced<'a>

source§

fn add_assign(&mut self, rhs: &Reduced<'a>)

Performs the += operation. Read more
source§

impl<'a> AddAssign<Reduced<'a>> for Reduced<'a>

source§

fn add_assign(&mut self, rhs: Reduced<'a>)

Performs the += operation. Read more
source§

impl Binary for Reduced<'_>

source§

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

Formats the value using the given formatter.
source§

impl Clone for Reduced<'_>

source§

fn clone(&self) -> Self

Returns a copy of the value. Read more
source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for Reduced<'_>

source§

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

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

impl Display for Reduced<'_>

source§

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

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

impl<'a> Div<&Reduced<'a>> for &Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the / operator.
source§

fn div(self, rhs: &Reduced<'a>) -> Reduced<'a>

Performs the / operation. Read more
source§

impl<'a> Div<&Reduced<'a>> for Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the / operator.
source§

fn div(self, rhs: &Reduced<'a>) -> Reduced<'a>

Performs the / operation. Read more
source§

impl<'a> Div<Reduced<'a>> for &Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the / operator.
source§

fn div(self, rhs: Reduced<'a>) -> Reduced<'a>

Performs the / operation. Read more
source§

impl<'a> Div<Reduced<'a>> for Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the / operator.
source§

fn div(self, rhs: Reduced<'a>) -> Reduced<'a>

Performs the / operation. Read more
source§

impl<'a> DivAssign<&Reduced<'a>> for Reduced<'a>

source§

fn div_assign(&mut self, rhs: &Reduced<'a>)

Performs the /= operation. Read more
source§

impl<'a> DivAssign<Reduced<'a>> for Reduced<'a>

source§

fn div_assign(&mut self, rhs: Reduced<'a>)

Performs the /= operation. Read more
source§

impl LowerHex for Reduced<'_>

source§

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

Formats the value using the given formatter.
source§

impl<'a> Mul<&Reduced<'a>> for &Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: &Reduced<'a>) -> Reduced<'a>

Performs the * operation. Read more
source§

impl<'a> Mul<&Reduced<'a>> for Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: &Reduced<'a>) -> Reduced<'a>

Performs the * operation. Read more
source§

impl<'a> Mul<Reduced<'a>> for &Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: Reduced<'a>) -> Reduced<'a>

Performs the * operation. Read more
source§

impl<'a> Mul<Reduced<'a>> for Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: Reduced<'a>) -> Reduced<'a>

Performs the * operation. Read more
source§

impl<'a> MulAssign<&Reduced<'a>> for Reduced<'a>

source§

fn mul_assign(&mut self, rhs: &Reduced<'a>)

Performs the *= operation. Read more
source§

impl<'a> MulAssign<Reduced<'a>> for Reduced<'a>

source§

fn mul_assign(&mut self, rhs: Reduced<'a>)

Performs the *= operation. Read more
source§

impl<'a> Neg for &Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the - operator.
source§

fn neg(self) -> Reduced<'a>

Performs the unary - operation. Read more
source§

impl<'a> Neg for Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the - operator.
source§

fn neg(self) -> Reduced<'a>

Performs the unary - operation. Read more
source§

impl Octal for Reduced<'_>

source§

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

Formats the value using the given formatter.
source§

impl PartialEq<Reduced<'_>> for Reduced<'_>

Equality within a ring.

Panics

Panics if the two values are from different rings.

source§

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

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

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.
source§

impl<'a> Sub<&Reduced<'a>> for &Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: &Reduced<'a>) -> Reduced<'a>

Performs the - operation. Read more
source§

impl<'a> Sub<&Reduced<'a>> for Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: &Reduced<'a>) -> Reduced<'a>

Performs the - operation. Read more
source§

impl<'a> Sub<Reduced<'a>> for &Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: Reduced<'a>) -> Reduced<'a>

Performs the - operation. Read more
source§

impl<'a> Sub<Reduced<'a>> for Reduced<'a>

§

type Output = Reduced<'a>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: Reduced<'a>) -> Reduced<'a>

Performs the - operation. Read more
source§

impl<'a> SubAssign<&Reduced<'a>> for Reduced<'a>

source§

fn sub_assign(&mut self, rhs: &Reduced<'a>)

Performs the -= operation. Read more
source§

impl<'a> SubAssign<Reduced<'a>> for Reduced<'a>

source§

fn sub_assign(&mut self, rhs: Reduced<'a>)

Performs the -= operation. Read more
source§

impl UpperHex for Reduced<'_>

source§

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

Formats the value using the given formatter.
source§

impl Eq for Reduced<'_>

Auto Trait Implementations§

§

impl<'a> RefUnwindSafe for Reduced<'a>

§

impl<'a> Send for Reduced<'a>

§

impl<'a> Sync for Reduced<'a>

§

impl<'a> Unpin for Reduced<'a>

§

impl<'a> UnwindSafe for Reduced<'a>

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. 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 Twhere 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 Twhere T: Clone,

§

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> ToString for Twhere T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

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

§

type Error = Infallible

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

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

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

§

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.