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

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


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


  #[test]
  fn associativity_u32([x, y, z] in any::<[u32; 3]>()) {
    prop_assert!(x.associativity(&y, &z))
  }


  #[test]
  fn associativity_u64_t2([x, y, z] in any::<[u64; 3]>()) {
    prop_assert!((x,).associativity(&(y,), &(z,)))
  }


  #[test]
  fn associativity_u64_a1([x, y, z] in any::<[u64; 3]>()) {
    prop_assert!([x].associativity(&[y], &[z]))
  }


  #[test]
  fn associativity_i8([x, y, z] in any::<[i8; 3]>()) {
    prop_assert!(x.associativity(&y, &z))
  }


  #[test]
  fn associativity_t2([xs, ys, zs] in any::<[(isize, isize); 3]>()) {
    prop_assert!(xs.associativity(&ys, &zs))
  }


  #[test]
  fn associativity_a2([xs, ys, zs] in any::<[[i64; 2]; 3]>()) {
    prop_assert!(xs.associativity(&ys, &zs))
  }


  #[test]
  fn associativity_f32([x, y, z] in [TF32, TF32, TF32]) {
    // Larger error term due to cancellation issues.
    prop_assert!(x.num_associativity(&y, &z, &1.0))
  }


  #[test]
  fn associativity_f64([x, y, z] in [TF64, TF64, TF64]) {
    // Larger error term due to cancellation issues.
    prop_assert!(x.num_associativity(&y, &z, &(F64_EPS * 1e4)))
  }
}