ibig 0.3.6

A big integer library with good performance
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
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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219

use ibig::{ibig, ubig};

#[test]
#[allow(clippy::identity_op, clippy::op_ref)]
fn test_ubig_shl() {
    assert_eq!(ubig!(0) << 17, ubig!(0));
    assert_eq!(&ubig!(0) << 17, ubig!(0));

    assert_eq!(ubig!(0xef) << 0, ubig!(0xef));
    assert_eq!(ubig!(0xef) << 4, ubig!(0xef0));
    assert_eq!(
        ubig!(0xef) << 128,
        ubig!(_0xef00000000000000000000000000000000)
    );
    assert_eq!(
        ubig!(0xef) << 124,
        ubig!(_0xef0000000000000000000000000000000)
    );
    assert_eq!(ubig!(0xef) << 10240, ubig!(_0xef0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000));
    assert_eq!(ubig!(0xef) << 10244, ubig!(_0xef00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000));

    assert_eq!(
        ubig!(_0x0123456789abcdef0123456789abcdef) << 0,
        ubig!(_0x0123456789abcdef0123456789abcdef)
    );
    assert_eq!(
        ubig!(_0x0123456789abcdef0123456789abcdef) << 4,
        ubig!(_0x0123456789abcdef0123456789abcdef0)
    );
    assert_eq!(
        ubig!(_0x0123456789abcdef0123456789abcdef) << 128,
        ubig!(_0x0123456789abcdef0123456789abcdef00000000000000000000000000000000)
    );
    assert_eq!(
        &ubig!(_0x0123456789abcdef0123456789abcdef) << 128,
        ubig!(_0x0123456789abcdef0123456789abcdef00000000000000000000000000000000)
    );
    assert_eq!(
        ubig!(_0x0123456789abcdef0123456789abcdef) << 124,
        ubig!(_0x0123456789abcdef0123456789abcdef0000000000000000000000000000000)
    );
    assert_eq!(
        &ubig!(_0x0123456789abcdef0123456789abcdef) << 124,
        ubig!(_0x0123456789abcdef0123456789abcdef0000000000000000000000000000000)
    );
    assert_eq!(ubig!(_0x0123456789abcdef0123456789abcdef) << 10240,
               ubig!(_0x0123456789abcdef0123456789abcdef0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000));
    assert_eq!(ubig!(_0x0123456789abcdef0123456789abcdef) << 10244,
               ubig!(_0x0123456789abcdef0123456789abcdef00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000));

    assert_eq!(&ubig!(0xef) << 4, ubig!(0xef0));
    assert_eq!(ubig!(0xef) << &4, ubig!(0xef0));
    assert_eq!(&ubig!(0xef) << &4, ubig!(0xef0));
}

#[test]
#[should_panic]
fn test_ubig_shl_too_large() {
    let _ = ubig!(1) << usize::MAX;
}

#[test]
#[allow(clippy::op_ref)]
fn test_ibig_shl() {
    assert_eq!(ibig!(0) << 4, ibig!(0));
    assert_eq!(ibig!(0) << usize::MAX, ibig!(0));

    assert_eq!(ibig!(0xef) << 4, ibig!(0xef0));
    assert_eq!(&ibig!(0xef) << 4, ibig!(0xef0));
    assert_eq!(ibig!(0xef) << &4, ibig!(0xef0));
    assert_eq!(&ibig!(0xef) << &4, ibig!(0xef0));
}

#[test]
fn test_shl_assign() {
    let mut a = ubig!(0xef);
    a <<= 4;
    assert_eq!(a, ubig!(0xef0));
    a <<= &4;
    assert_eq!(a, ubig!(0xef00));
}

#[test]
#[allow(clippy::identity_op, clippy::op_ref)]
fn test_ubig_shr() {
    assert_eq!(ubig!(0xef) >> 4, ubig!(0xe));
    assert_eq!(ubig!(0xef) >> &4, ubig!(0xe));
    assert_eq!(&ubig!(0xef) >> 4, ubig!(0xe));
    assert_eq!(&ubig!(0xef) >> &4, ubig!(0xe));

    assert_eq!(ubig!(0xef) >> 100, ubig!(0));
    assert_eq!(&ubig!(0xef) >> 100, ubig!(0));
    assert_eq!(ubig!(0xef) >> usize::MAX, ubig!(0));
    assert_eq!(&ubig!(0xef) >> usize::MAX, ubig!(0));

    assert_eq!((ubig!(0xef) << 63) >> 63, ubig!(0xef));
    assert_eq!((ubig!(0xef) << 64) >> 64, ubig!(0xef));
    assert_eq!((ubig!(0xef) << 1023) >> 1023, ubig!(0xef));
    assert_eq!((ubig!(0xef) << 1024) >> 1024, ubig!(0xef));
    assert_eq!(((ubig!(0xef) << 1024) >> 512) >> 512, ubig!(0xef));
    assert_eq!(((ubig!(0xef) << 1024) >> 510) >> 514, ubig!(0xef));
    assert_eq!(&(&(ubig!(0xef) << 1024) >> 512) >> 512, ubig!(0xef));
    assert_eq!(&(&(ubig!(0xef) << 1024) >> 510) >> 514, ubig!(0xef));

    assert_eq!(
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 0,
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef)
    );

    assert_eq!(
        &ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 0,
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef)
    );

    assert_eq!(
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 1000000,
        ubig!(0)
    );
    assert_eq!(
        &ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 1000000,
        ubig!(0)
    );
    assert_eq!(
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 1000001,
        ubig!(0)
    );
    assert_eq!(
        &ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 1000001,
        ubig!(0)
    );

    assert_eq!(
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 4,
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcde)
    );
    assert_eq!(
        &ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 4,
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcde)
    );

    assert_eq!(
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 64,
        ubig!(_0x0123456789abcdef0123456789abcdef)
    );
    assert_eq!(
        &ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 64,
        ubig!(_0x0123456789abcdef0123456789abcdef)
    );
    assert_eq!(
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 124,
        ubig!(_0x123456789abcdef0)
    );
    assert_eq!(
        &ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 124,
        ubig!(_0x123456789abcdef0)
    );
    assert_eq!(
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 128,
        ubig!(_0x123456789abcdef)
    );
    assert_eq!(
        &ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 128,
        ubig!(_0x123456789abcdef)
    );

    assert_eq!(ubig!(0xef) >> &4, ubig!(0xe));
    assert_eq!(&ubig!(0xef) >> 4, ubig!(0xe));
    assert_eq!(&ubig!(0xef) >> &4, ubig!(0xe));

    assert_eq!(
        &ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcdef) >> 4,
        ubig!(_0x0123456789abcdef0123456789abcdef0123456789abcde)
    );
}

#[test]
fn test_ubig_shr_assign() {
    let mut a = ubig!(0xeff);
    a >>= 4;
    assert_eq!(a, ubig!(0xef));
    a >>= &4;
    assert_eq!(a, ubig!(0xe));
}

#[test]
fn test_ibig_shr() {
    let test_cases = [
        (ibig!(0xe0), 4, ibig!(0xe)),
        (ibig!(0xef), 4, ibig!(0xe)),
        (ibig!(0xef), 100, ibig!(0)),
        (ibig!(-0xe0), 4, ibig!(-0xe)),
        (ibig!(-0xef), 4, ibig!(-0xf)),
        (ibig!(-0xef), 100, ibig!(-1)),
        (ibig!(0xff) << 1000, 1000, ibig!(0xff)),
        ((ibig!(0xff) << 1000) + ibig!(1), 1000, ibig!(0xff)),
        (ibig!(-0xff) << 1000, 1000, ibig!(-0xff)),
        ((ibig!(-0xff) << 1000) - ibig!(1), 1000, ibig!(-0x100)),
        (
            (ibig!(-0xff) << 1000) - (ibig!(1) << 999),
            1000,
            ibig!(-0x100),
        ),
        (ibig!(-0xff) << 1000, 2000, ibig!(-1)),
    ];
    for (a, b, c) in &test_cases {
        assert_eq!(a >> b, *c);
        assert_eq!(a >> *b, *c);
        assert_eq!(a.clone() >> b, *c);
        assert_eq!(a.clone() >> *b, *c);

        let mut x = a.clone();
        x >>= b;
        assert_eq!(x, *c);

        let mut x = a.clone();
        x >>= *b;
        assert_eq!(x, *c);
    }
}