acm 0.1.2

Arithmetic congruence monoid implementation in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

extern crate acm;

use acm::ArithmeticCongruenceMonoid as ACM;
use std::panic;

fn helper(a: u32, b: u32, n: u32, ans: Vec<Vec<u32>>) {
    assert_eq!(ACM::new(a, b).unwrap().factorize(n).to_vec(), ans);
}

//#[test]
//fn acm_valid() {
//assert!(panic::catch_unwind(|| { ACM::new(1,4); }).is_ok());
//}

#[test]
fn acm_1_4_factorize_1() {
    helper(1, 4, 1, vec![vec![]])
}

#[test]
fn acm_1_4_factorize_5() {
    helper(1, 4, 5, vec![vec![5]])
}

#[test]
fn acm_1_4_factorize_25() {
    helper(1, 4, 25, vec![vec![5, 5]])
}

#[test]
fn acm_1_4_factorize_125() {
    helper(1, 4, 125, vec![vec![5, 5, 5]])
}

#[test]
fn acm_1_4_factorize_151253545() {
    helper(1, 4, 151253545, vec![vec![5, 593, 51013]])
}