Module believer::gf2

A simple implementation of a binary field with addition, multiplication and comparison.

Rules

assert_eq!(GF2::B0 + GF2::B0, GF2::B0);
assert_eq!(GF2::B0 + GF2::B1, GF2::B1);
assert_eq!(GF2::B1 + GF2::B0, GF2::B1);
assert_eq!(GF2::B1 + GF2::B1, GF2::B0);

assert_eq!(GF2::B0 * GF2::B0, GF2::B0);
assert_eq!(GF2::B1 * GF2::B1, GF2::B1);
assert_eq!(GF2::B0 * GF2::B1, GF2::B0);
assert_eq!(GF2::B1 * GF2::B0, GF2::B0);

Enums

GF2