un_algebra 0.9.0

Simple implementations of selected abstract algebraic structures--including groups, rings, and fields. Intended for self-study of abstract algebra concepts and not for production use.
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95

//!
//! Generative tests for _additive_ _monoids_.
//!
use super::*;
use crate::tests::*;


#[cfg(test)]
proptest! {
  #![proptest_config(standard())]


  #[test]
  fn left_identity_u8(x in any::<u8>()) {
    prop_assert!(x.left_identity())
  }


  #[test]
  fn left_identity_u16_t1(x in any::<u16>()) {
    prop_assert!((x,).left_identity())
  }


  #[test]
  fn left_identity_u16_a1(x in any::<u16>()) {
    prop_assert!([x].left_identity())
  }


  #[test]
  fn left_identity_i64(x in any::<i64>()) {
    prop_assert!(x.left_identity())
  }


  #[test]
  fn left_identity_i32_t2(xs in any::<(i32, i32)>()) {
    prop_assert!(xs.left_identity())
  }


  #[test]
  fn left_identity_i32_a2(xs in any::<[i32; 2]>()) {
    prop_assert!(xs.left_identity())
  }


  #[test]
  fn right_identity_u32(x in any::<u32>()) {
    prop_assert!(x.right_identity())
  }


  #[test]
  fn right_identity_u8_t1(x in any::<u8>()) {
    prop_assert!((x,).right_identity())
  }


  #[test]
  fn right_identity_u8_a1(x in any::<u8>()) {
    prop_assert!([x].right_identity())
  }


  #[test]
  fn right_identity_isize(x in any::<isize>()) {
    prop_assert!(x.right_identity())
  }


  #[test]
  fn right_identity_i32_t3(xs in any::<(i32, i32, i32)>()) {
    prop_assert!(xs.right_identity())
  }


  #[test]
  fn right_identity_i32_a3(xs in any::<[i32; 3]>()) {
    prop_assert!(xs.right_identity())
  }


  #[test]
  fn left_identity_f32(x in TF32) {
    prop_assert!(x.num_left_identity(&F32_EPS))
  }


  #[test]
  fn right_identity_f64(xs in TF64) {
    prop_assert!(xs.num_right_identity(&F64_EPS))
 }
}