Struct mod_int::ModInt

pub struct ModInt<const M: i64>(_);

Implementations

impl<const M: i64> ModInt<M>

pub fn new(x: i64) -> Self

整数を 0 <= x < modulo に正規化してインスタンスを作ります。

pub fn val(self) -> i64

ModInt に格納されている値を返します。

Examples

use mod_int::ModInt1000000007;
assert_eq!(ModInt1000000007::new(123).val(), 123);

pub fn modulo() -> i64

法を返します。

Examples

use mod_int::{ModInt1000000007, ModInt998244353};
assert_eq!(ModInt1000000007::modulo(), 1000000007);
assert_eq!(ModInt998244353::modulo(), 998244353);

pub fn pow(self, exp: u32) -> Self

二分累乗法で x^exp % p を計算します。

Examples

use mod_int::ModInt1000000007;
use std::iter::repeat;
let (x, exp, p) = (123, 100_u32, 1000000007);
let y = repeat(x).take(exp as usize).fold(1, |acc, x| acc * x % p);
assert_eq!(y, ModInt1000000007::new(x).pow(exp).val());

pub fn inv(self) -> Self

x * y % p = 1 となる y を返します。

Examples

use mod_int::ModInt1000000007;
let (x, p) = (2, ModInt1000000007::modulo());
let y = ModInt1000000007::new(x).inv().val();
assert_eq!(x * y % p, 1);

use mod_int::ModInt1000000007;
ModInt1000000007::new(0).inv(); // panic

use mod_int::ModInt;
// 6 * n % 10 : 0, 6, 2, 8, 4, 0, 6, 2, 8, 4
ModInt::<10>::new(6).inv(); // panic

Trait Implementations

impl<const M: i64, T: Into<ModInt<M>>> Add<T> for ModInt<M>

type Output = ModInt<M>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<const M: i64, T: Into<ModInt<M>>> AddAssign<T> for ModInt<M>

fn add_assign(&mut self, rhs: T)

Performs the += operation.

impl<const M: i64> Clone for ModInt<M>

fn clone(&self) -> ModInt<M>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const M: i64> Debug for ModInt<M>

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

Formats the value using the given formatter.

impl<const M: i64, T: Into<ModInt<M>>> Div<T> for ModInt<M>

type Output = ModInt<M>

The resulting type after applying the / operator.

fn div(self, rhs: T) -> Self::Output

Performs the / operation.

impl<const M: i64, T: Into<ModInt<M>>> DivAssign<T> for ModInt<M>

fn div_assign(&mut self, rhs: T)

Performs the /= operation.

impl<const M: i64> From<i16> for ModInt<M>

fn from(x: i16) -> Self

Converts to this type from the input type.

impl<const M: i64> From<i32> for ModInt<M>

fn from(x: i32) -> Self

Converts to this type from the input type.

impl<const M: i64> From<i64> for ModInt<M>

fn from(x: i64) -> Self

Converts to this type from the input type.

impl<const M: i64> From<i8> for ModInt<M>

fn from(x: i8) -> Self

Converts to this type from the input type.

impl<const M: i64> From<isize> for ModInt<M>

fn from(x: isize) -> Self

Converts to this type from the input type.

impl<const M: i64> From<u16> for ModInt<M>

fn from(x: u16) -> Self

Converts to this type from the input type.

impl<const M: i64> From<u32> for ModInt<M>

fn from(x: u32) -> Self

Converts to this type from the input type.

impl<const M: i64> From<u64> for ModInt<M>

fn from(x: u64) -> Self

Converts to this type from the input type.

impl<const M: i64> From<u8> for ModInt<M>

fn from(x: u8) -> Self

Converts to this type from the input type.

impl<const M: i64> From<usize> for ModInt<M>

fn from(x: usize) -> Self

Converts to this type from the input type.

impl<const M: i64, T: Into<ModInt<M>>> Mul<T> for ModInt<M>

type Output = ModInt<M>

The resulting type after applying the * operator.

fn mul(self, rhs: T) -> Self::Output

Performs the * operation.

impl<const M: i64, T: Into<ModInt<M>>> MulAssign<T> for ModInt<M>

fn mul_assign(&mut self, rhs: T)

Performs the *= operation.

impl<const M: i64, T: Into<ModInt<M>>> Sub<T> for ModInt<M>

type Output = ModInt<M>

The resulting type after applying the - operator.

fn sub(self, rhs: T) -> Self::Output

Performs the - operation.

impl<const M: i64, T: Into<ModInt<M>>> SubAssign<T> for ModInt<M>

fn sub_assign(&mut self, rhs: T)

Performs the -= operation.

impl<const M: i64> Copy for ModInt<M>