#math

modtype

Macros that implement modular arithmetic integer types

8 releases (breaking)

✓ Uses Rust 2018 edition

0.7.0 Jul 14, 2019
0.6.0 Jul 2, 2019
0.5.0 Jun 30, 2019
0.4.0 Jun 26, 2019
0.1.1 Jun 20, 2019

#78 in Math

Download history 100/week @ 2019-06-22 49/week @ 2019-06-29 41/week @ 2019-07-06 3/week @ 2019-07-13 12/week @ 2019-07-20 13/week @ 2019-07-27 44/week @ 2019-08-03 10/week @ 2019-08-10 17/week @ 2019-08-17 119/week @ 2019-08-24 28/week @ 2019-08-31 2/week @ 2019-09-07 57/week @ 2019-09-14 80/week @ 2019-09-21 25/week @ 2019-09-28

76 downloads per month
Used in 1 crate

MIT/Apache

99KB
2K SLoC

modtype

Build Status codecov Crates.io

This crate provides modular arithmetic integer types.

Usage

modtype::ModType

#[modtype::use_modtype]
type F = modtype::F<1_000_000_007u64>;

assert_eq!((F(1_000_000_006) + F(2)).to_string(), "1");

modtype::thread_local::ModType

#[allow(non_snake_case)]
modtype::thread_local::F::with(1_000_000_007u64, |F| {
    assert_eq!((F(1_000_000_006) + F(2)).to_string(), "1");
});

modtype::non_static::ModType

#[allow(non_snake_case)]
let F = modtype::non_static::F::factory(1_000_000_007u64);

assert_eq!((F(1_000_000_006) + F(2)).to_string(), "1");

Customization

ModTypes can be customized via modtype::Cartridge.

modtype::cartridges::AllowFlexibleRhs

use modtype::cartridges::{AllowFlexibleRhs, Field};
use num::{BigInt, BigRational};

#[modtype::use_modtype]
type F = modtype::ModType<AllowFlexibleRhs<Field<u64>>, 1_000_000_007u64>;

let mut x = F(1);
x += F(1);
x += 1u64;
x += 1i32;
x += 1f64;
x += BigInt::from(1u32);
x += BigRational::new(BigInt::from(1u32), BigInt::from(1u32));
assert_eq!(x, F(7));

modtype::cartridges::Multiplicative

use num::CheckedDiv as _;

#[modtype::use_modtype]
type Z = modtype::ModType<modtype::cartridges::Multiplicative<u32>, 57u32>;

assert_eq!(Z(56) * Z(56), Z(1));
assert_eq!(Z(1).checked_div(&Z(13)), Some(Z(22))); // 13・22 ≡ 1 (mod 57)

modtype::cartridges::Additive

use num::CheckedAdd as _;

#[modtype::use_modtype]
type Z = modtype::ModType<modtype::cartridges::Additive<u64>, 1_000_000_007u64>;

let mut x = Z(1_000_000_006);

x += Z(1);
assert_eq!(*x.get_mut_unchecked(), 1_000_000_007);

x += Z(u64::max_value() / 2 - 1_000_000_007);
assert_eq!(*x.get_mut_unchecked(), u64::max_value() / 2);

x += Z(1);
assert_eq!(*x.get_mut_unchecked(), (u64::max_value() / 2 + 1) % 1_000_000_007);

modtype::cartridges::ManuallyAdjust

use num::CheckedAdd as _;

#[modtype::use_modtype]
type Z = modtype::ModType<modtype::cartridges::ManuallyAdjust<u64>, 1_000_000_007u64>;

let mut x = Z(1_000_000_006);

x += Z(u64::max_value() - 1_000_000_006);
assert_eq!(*x.get_mut_unchecked(), u64::max_value());

x.adjust();
assert_eq!(*x.get_mut_unchecked(), u64::max_value() % 1_000_000_007);

Dependencies

~3MB
~54K SLoC