powdr-number 0.1.4

powdr finite field definitions
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69

use p3_koala_bear::KoalaBear;

use crate::powdr_field_plonky3;

powdr_field_plonky3!(KoalaBearField, KoalaBear);

#[cfg(test)]
mod test {
    use crate::traits::int_from_hex_str;
    use test_log::test;

    use super::*;

    #[test]
    fn bitwise() {
        let n = int_from_hex_str::<KoalaBearField>("00ff00ff");
        let p = int_from_hex_str::<KoalaBearField>("f00ff00f");
        let not_n = int_from_hex_str::<KoalaBearField>("ff00ff00");
        let n_shr_4 = int_from_hex_str::<KoalaBearField>("000ff00f");
        let n_shl_4 = int_from_hex_str::<KoalaBearField>("0ff00ff0");
        let n_or_p = int_from_hex_str::<KoalaBearField>("f0fff0ff");
        let n_and_p = int_from_hex_str::<KoalaBearField>("000f000f");
        let n_xor_p = int_from_hex_str::<KoalaBearField>("f0f0f0f0");

        assert_eq!(n.not().not(), n);
        assert_eq!(n.not(), not_n);
        assert_eq!(n >> 4, n_shr_4);
        assert_eq!(n << 4, n_shl_4);
        assert_eq!(n & p, n_and_p);
        assert_eq!(n | p, n_or_p);
        assert_eq!(n ^ p, n_xor_p);
    }

    #[test]
    fn zero_one() {
        let x = KoalaBearField::ZERO;
        assert_eq!(x, KoalaBearField::zero());
        assert_eq!(x.to_canonical_u32(), 0);
        let y = KoalaBearField::ONE;
        assert_eq!(y, KoalaBearField::one());
        assert_eq!(y.to_canonical_u32(), 1);
        let z = x + y + y;
        assert_eq!(z.to_canonical_u32(), 2);
    }

    #[test]
    fn lower_half() {
        let x = KoalaBearField::from(0);
        assert!(x.is_in_lower_half());
        assert!(!(x - 1.into()).is_in_lower_half());

        let y = KoalaBearField::from_str_radix("3f800000", 16).unwrap();
        assert!(y.is_in_lower_half());
        assert!(!(y + 1.into()).is_in_lower_half());
    }

    #[test]
    #[should_panic]
    fn integer_div_by_zero() {
        let _ = KoalaBearField::from(1).to_arbitrary_integer()
            / KoalaBearField::from(0).to_arbitrary_integer();
    }

    #[test]
    #[should_panic]
    fn div_by_zero() {
        let _ = KoalaBearField::from(1) / KoalaBearField::from(0);
    }
}