[go: up one dir, main page]

alga 0.3.0

Abstract algebra for 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
42
43
44
45
46
47
48
49
50
51
52
53

#[macro_use]
extern crate quickcheck;
extern crate alga;


mod signed_int_check {
    macro_rules! check {
        ($($T:ident),* $(,)*) => {
            $(mod $T {
                use alga::general::{Additive, AbstractQuasigroup};

                quickcheck!(
                    fn prop_inv_is_latin_square(args: ($T, $T)) -> bool {
                        AbstractQuasigroup::<Additive>::prop_inv_is_latin_square(args)
                    }
                );
            })+
        }
    }

    check!(/*i8, i16,*/ i32, i64);
}

mod int_check {
    macro_rules! check{
        ($($T:ident),* $(,)*) => {
            $(mod $T {
                    use alga::general::{AbstractMonoid, AbstractSemigroup, Additive, Multiplicative};

                    quickcheck!(
                        fn prop_zero_is_noop(args: $T) -> bool {
                            AbstractMonoid::<Additive>::prop_operating_identity_element_is_noop(args)
                        }

                        fn prop_mul_unit_is_noop(args: $T) -> bool {
                            AbstractMonoid::<Multiplicative>::prop_operating_identity_element_is_noop(args)
                        }

                        fn prop_add_is_associative(args: ($T, $T, $T)) -> bool {
                            AbstractSemigroup::<Additive>::prop_is_associative(args)
                        }

                        fn prop_mul_is_associative(args: ($T, $T, $T)) -> bool {
                            AbstractSemigroup::<Multiplicative>::prop_is_associative(args)
                        }
                    );
                }
            )+
        }
    }

    check!(/*u8, u16,*/ u32, u64, /*i8, i16,*/ i32, i64);
}