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
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
use g2p::{GaloisField, g2p};
g2p!(GF4, 2);
g2p!(GF16, 4, modulus: 0b10011);
g2p!(GF1024, 10, modulus: 0b100_0000_1001);
#[test]
fn test_g16() {
let one: GF16 = 1.into();
let a: GF16 = 5.into();
let b: GF16 = 4.into();
let c: GF16 = 7.into();
assert_eq!(a + c, 2.into());
assert_eq!(a - c, 2.into());
assert_eq!(a * b, c);
assert_eq!(a / c, one / b);
assert_eq!(b / b, one);
}
#[test]
fn test_gf1024() {
eprintln!("1");
let a: GF1024 = 555.into();
eprintln!("2");
let b: GF1024 = 444.into();
eprintln!("3");
let c = a + b;
eprintln!("4");
let d = a * b;
assert_eq!(765, u16::from(d));
eprintln!("5");
assert_eq!(c + a, b);
eprintln!("6");
assert_eq!(c + b, a);
eprintln!("7");
assert_eq!(d / b, a);
eprintln!("8");
assert_eq!(d / a, b);
eprintln!("9");
assert_eq!(u16::from(d / b), 555_u16);
eprintln!("10");
}
#[test]
fn test_g4() {
let g = GF4::GENERATOR;
assert_ne!(g * g, GF4::ONE);
assert_eq!(g * g * g, GF4::ONE);
}
#[test]
fn test_pow() {
let g: GF16 = 2.into();
assert_eq!(g.pow(0), GF16::ONE);
assert_eq!(g.pow(1), g);
assert_eq!(g.pow(2), 4.into());
assert_eq!(g.pow(3), 8.into());
assert_eq!(g.pow(4), 3.into());
}
|
