acm 0.1.4

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
39
40
41

extern crate acm;

use acm::ArithmeticCongruenceMonoid as ACM;

fn helper(a: i32, b: i32, n: i32, ans: Vec<Vec<i32>>) {
    assert_eq!(ACM::<i32>::new(a, b).unwrap().factor(n), &ans);
}

#[test]
fn acm_valid() {
    assert!(ACM::<i32>::new(1, 4).is_ok());
    assert!(ACM::<i32>::new(3, 6).is_ok());
    assert!(ACM::<i32>::new(6, 15).is_ok());
}

#[test]
fn acm_invalid() {
    assert!(ACM::<i32>::new(2, 4).is_err());
    assert!(ACM::<i32>::new(3, 4).is_err());
    assert!(ACM::<i32>::new(6, 16).is_err());
}

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

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

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

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