Crates.io | modtype |
lib.rs | modtype |
version | 0.7.0 |
source | src |
created_at | 2019-06-19 17:34:05.991549 |
updated_at | 2019-07-14 12:01:55.850915 |
description | Macros that implement modular arithmetic integer types |
homepage | |
repository | https://github.com/qryxip/modtype |
max_upload_size | |
id | 142138 |
size | 112,196 |
This crate provides modular arithmetic integer types.
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");
ModType
s 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);