2010-03-05 Rodrigo Kumpera <rkumpera@novell.com>
[mono.git] / mcs / class / System.Numerics / Test / System.Numerics / BigIntegerTest.cs
1 // BigIntegerTest.cs
2 //
3 // Authors:
4 // Rodrigo Kumpera <rkumpera@novell.com>
5 //
6 // Copyright (C) 2010 Novell, Inc (http://www.novell.com)
7 //
8
9 using System;
10 using System.Numerics;
11 using NUnit.Framework;
12
13
14 namespace MonoTests.System.Numerics
15 {
16         [TestFixture]
17         public class BigIntegerTest
18         {
19                 static byte[] huge_a = new byte[] {0x1D, 0x33, 0xFB, 0xFE, 0xB1, 0x2, 0x85, 0x44, 0xCA, 0xDC, 0xFB, 0x70, 0xD, 0x39, 0xB1, 0x47, 0xB6, 0xE6, 0xA2, 0xD1, 0x19, 0x1E, 0x9F, 0xE4, 0x3C, 0x1E, 0x16, 0x56, 0x13, 0x9C, 0x4D, 0xD3, 0x5C, 0x74, 0xC9, 0xBD, 0xFA, 0x56, 0x40, 0x58, 0xAC, 0x20, 0x6B, 0x55, 0xA2, 0xD5, 0x41, 0x38, 0xA4, 0x6D, 0xF6, 0x8C, };
20
21                 static byte[] huge_b = new byte[] {0x96, 0x5, 0xDA, 0xFE, 0x93, 0x17, 0xC1, 0x93, 0xEC, 0x2F, 0x30, 0x2D, 0x8F, 0x28, 0x13, 0x99, 0x70, 0xF4, 0x4C, 0x60, 0xA6, 0x49, 0x24, 0xF9, 0xB3, 0x4A, 0x41, 0x67, 0xDC, 0xDD, 0xB1, 0xA5, 0xA6, 0xC0, 0x3D, 0x57, 0x9A, 0xCB, 0x29, 0xE2, 0x94, 0xAC, 0x6C, 0x7D, 0xEF, 0x3E, 0xC6, 0x7A, 0xC1, 0xA8, 0xC8, 0xB0, 0x20, 0x95, 0xE6, 0x4C, 0xE1, 0xE0, 0x4B, 0x49, 0xD5, 0x5A, 0xB7, };
22
23                 static byte[] huge_add = new byte[] {0xB3, 0x38, 0xD5, 0xFD, 0x45, 0x1A, 0x46, 0xD8, 0xB6, 0xC, 0x2C, 0x9E, 0x9C, 0x61, 0xC4, 0xE0, 0x26, 0xDB, 0xEF, 0x31, 0xC0, 0x67, 0xC3, 0xDD, 0xF0, 0x68, 0x57, 0xBD, 0xEF, 0x79, 0xFF, 0x78, 0x3, 0x35, 0x7, 0x15, 0x95, 0x22, 0x6A, 0x3A, 0x41, 0xCD, 0xD7, 0xD2, 0x91, 0x14, 0x8, 0xB3, 0x65, 0x16, 0xBF, 0x3D, 0x20, 0x95, 0xE6, 0x4C, 0xE1, 0xE0, 0x4B, 0x49, 0xD5, 0x5A, 0xB7, };
24
25                 static byte[] a_m_b = new byte[] { 0x87, 0x2D, 0x21, 0x0, 0x1E, 0xEB, 0xC3, 0xB0, 0xDD, 0xAC, 0xCB, 0x43, 0x7E, 0x10, 0x9E, 0xAE, 0x45, 0xF2, 0x55, 0x71, 0x73, 0xD4, 0x7A, 0xEB, 0x88, 0xD3, 0xD4, 0xEE, 0x36, 0xBE, 0x9B, 0x2D, 0xB6, 0xB3, 0x8B, 0x66, 0x60, 0x8B, 0x16, 0x76, 0x17, 0x74, 0xFE, 0xD7, 0xB2, 0x96, 0x7B, 0xBD, 0xE2, 0xC4, 0x2D, 0xDC, 0xDE, 0x6A, 0x19, 0xB3, 0x1E, 0x1F, 0xB4, 0xB6, 0x2A, 0xA5, 0x48, };\r
26                 static byte[] b_m_a = new byte[] { 0x79, 0xD2, 0xDE, 0xFF, 0xE1, 0x14, 0x3C, 0x4F, 0x22, 0x53, 0x34, 0xBC, 0x81, 0xEF, 0x61, 0x51, 0xBA, 0xD, 0xAA, 0x8E, 0x8C, 0x2B, 0x85, 0x14, 0x77, 0x2C, 0x2B, 0x11, 0xC9, 0x41, 0x64, 0xD2, 0x49, 0x4C, 0x74, 0x99, 0x9F, 0x74, 0xE9, 0x89, 0xE8, 0x8B, 0x1, 0x28, 0x4D, 0x69, 0x84, 0x42, 0x1D, 0x3B, 0xD2, 0x23, 0x21, 0x95, 0xE6, 0x4C, 0xE1, 0xE0, 0x4B, 0x49, 0xD5, 0x5A, 0xB7, };\r
27
28                 static byte[][] add_a = new byte[][] {
29                         new byte[] {1},
30                         new byte[] {0xFF},
31                         huge_a
32                 };
33
34                 static byte[][] add_b = new byte[][] {
35                         new byte[] {1},
36                         new byte[] {1},
37                         huge_b
38                 };
39
40                 static byte[][] add_c = new byte[][] {
41                         new byte[] {2},
42                         new byte[] {0},
43                         huge_add
44                 };
45
46                 [Test]
47                 public void TestAdd () {
48                         for (int i = 0; i < add_a.Length; ++i) {
49                                 var a = new BigInteger (add_a [i]);
50                                 var b = new BigInteger (add_b [i]);
51                                 var c = new BigInteger (add_c [i]);
52
53                                 Assert.AreEqual (c, a + b, "#" + i + "a");
54                                 Assert.AreEqual (c, b + a, "#" + i + "b");
55                                 Assert.AreEqual (c, BigInteger.Add (a, b), "#" + i + "c");
56                                 Assert.AreEqual (add_c [i], (a + b).ToByteArray (), "#" + i + "d");
57                         }
58                 }
59
60                 [Test]
61                 public void TestAdd2 () {
62                         long[] values = new long [] { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
63                         for (int i = 0; i < values.Length; ++i) {
64                                 for (int j = 0; j < values.Length; ++j) {
65                                         var a = new BigInteger (values [i]);
66                                         var b = new BigInteger (values [j]);
67                                         var c = a + b;
68                                         Assert.AreEqual (values [i] + values [j], (long)c, "#_" + i + "_" + j);
69                                 }
70                         }
71                 }
72
73                 [Test]
74                 public void TestHugeSub () {
75                         var a = new BigInteger (huge_a);
76                         var b = new BigInteger (huge_b);
77                         Assert.AreEqual (a_m_b, (a - b).ToByteArray (), "#1");
78                         Assert.AreEqual (b_m_a, (b - a).ToByteArray (), "#2");
79                 }
80
81                 [Test]
82                 public void TestSub () {
83                         long[] values = new long [] { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
84                         for (int i = 0; i < values.Length; ++i) {
85                                 for (int j = 0; j < values.Length; ++j) {
86                                         var a = new BigInteger (values [i]);
87                                         var b = new BigInteger (values [j]);
88                                         var c = a - b;
89                                         var d = BigInteger.Subtract (a, b);
90
91                                         Assert.AreEqual (values [i] - values [j], (long)c, "#_" + i + "_" + j);
92                                         Assert.AreEqual (values [i] - values [j], (long)d, "#_" + i + "_" + j);
93                                 }
94                         }
95                 }
96
97                 [Test]
98                 public void TestMin () {
99                         long[] values = new long [] { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
100                         for (int i = 0; i < values.Length; ++i) {
101                                 for (int j = 0; j < values.Length; ++j) {
102                                         var a = new BigInteger (values [i]);
103                                         var b = new BigInteger (values [j]);
104                                         var c = BigInteger.Min (a, b);
105
106                                         Assert.AreEqual (Math.Min (values [i], values [j]), (long)c, "#_" + i + "_" + j);
107                                 }
108                         }
109                 }
110
111                 [Test]
112                 public void TestMax () {
113                         long[] values = new long [] { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
114                         for (int i = 0; i < values.Length; ++i) {
115                                 for (int j = 0; j < values.Length; ++j) {
116                                         var a = new BigInteger (values [i]);
117                                         var b = new BigInteger (values [j]);
118                                         var c = BigInteger.Max (a, b);
119
120                                         Assert.AreEqual (Math.Max (values [i], values [j]), (long)c, "#_" + i + "_" + j);
121                                 }
122                         }
123                 }
124
125                 [Test]
126                 public void TestNegate () {
127                         long[] values = new long [] { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
128                         for (int i = 0; i < values.Length; ++i) {
129                                 var a = new BigInteger (values [i]);
130                                 var c = -a;
131                                 var d = BigInteger.Negate (a);
132
133                                 Assert.AreEqual (-values [i], (long)c, "#_" + i);
134                                 Assert.AreEqual (-values [i], (long)d, "#_" + i);
135                         }
136                 }
137
138                 [Test]
139                 public void CompareOps () {
140                         long[] values = new long [] { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
141                         for (int i = 0; i < values.Length; ++i) {
142                                 for (int j = 0; j < values.Length; ++j) {
143                                         var a = new BigInteger (values [i]);
144                                         var b = new BigInteger (values [j]);
145                                         
146                                         Assert.AreEqual (values [i].CompareTo (values [j]), a.CompareTo (b), "#a_" + i + "_" + j);
147                                         Assert.AreEqual (values [i].CompareTo (values [j]), BigInteger.Compare (a, b), "#b_" + i + "_" + j);
148
149                                         Assert.AreEqual (values [i] < values [j], a < b, "#c_" + i + "_" + j);
150                                         Assert.AreEqual (values [i] <= values [j], a <= b, "#d_" + i + "_" + j);
151                                         Assert.AreEqual (values [i] == values [j], a == b, "#e_" + i + "_" + j);
152                                         Assert.AreEqual (values [i] != values [j], a != b, "#f_" + i + "_" + j);
153                                         Assert.AreEqual (values [i] >= values [j], a >= b, "#g_" + i + "_" + j);
154                                         Assert.AreEqual (values [i] > values [j], a > b, "#h_" + i + "_" + j);
155                                 }
156                         }
157                 }
158
159                 [Test]
160                 public void CompareOps2 () {
161                         BigInteger a = new BigInteger (100000000000L);
162                         BigInteger b = new BigInteger (28282828282UL);
163
164                         Assert.IsTrue (a >= b, "#1");
165                         Assert.IsTrue (a >= b, "#2");
166                         Assert.IsFalse (a < b, "#3");
167                         Assert.IsFalse (a <= b, "#4");
168                         Assert.AreEqual (1, a.CompareTo (b), "#5");
169                 }
170
171                 [Test]
172                 public void CompareULong () {
173                         long[] values = new long [] { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L, 0xAA00000000L };
174                         ulong[] uvalues = new ulong [] {0, 1, 1000, 100000000000L, 999999, 28282828282, 0xAA00000000, ulong.MaxValue };
175                         for (int i = 0; i < values.Length; ++i) {
176                                 for (int j = 0; j < uvalues.Length; ++j) {
177                                         var a = new BigInteger (values [i]);
178                                         var b = uvalues [j];
179                                         var c = new BigInteger (b);
180                                         
181                                         Assert.AreEqual (a.CompareTo (c), a.CompareTo (b), "#a_" + i + "_" + j);
182
183                                         Assert.AreEqual (a > c, a > b, "#b_" + i + "_" + j);
184                                         Assert.AreEqual (a < c, a < b, "#c_" + i + "_" + j);
185                                         Assert.AreEqual (a <= c, a <= b, "#d_" + i + "_" + j);
186                                         Assert.AreEqual (a == c, a == b, "#e_" + i + "_" + j);
187                                         Assert.AreEqual (a != c, a != b, "#f_" + i + "_" + j);
188                                         Assert.AreEqual (a >= c, a >= b, "#g_" + i + "_" + j);
189
190                                         Assert.AreEqual (c > a, b > a, "#ib_" + i + "_" + j);
191                                         Assert.AreEqual (c < a, b < a, "#ic_" + i + "_" + j);
192                                         Assert.AreEqual (c <= a, b <= a, "#id_" + i + "_" + j);
193                                         Assert.AreEqual (c == a, b == a, "#ie_" + i + "_" + j);
194                                         Assert.AreEqual (c != a, b != a, "#if_" + i + "_" + j);
195                                         Assert.AreEqual (c >= a, b >= a, "#ig_" + i + "_" + j);
196                                 }
197                         }
198                 }
199
200                 [Test]
201                 public void CompareLong () {
202                         long[] values = new long [] { -100000000000L, -1000, -1, 0, 1, 1000, 9999999, 100000000000L, 0xAA00000000, long.MaxValue, long.MinValue };
203
204                         for (int i = 0; i < values.Length; ++i) {
205                                 for (int j = 0; j < values.Length; ++j) {
206                                         var a = new BigInteger (values [i]);
207                                         var b = values [j];
208                                         var c = new BigInteger (b);
209                                         
210                                         Assert.AreEqual (a.CompareTo (c), a.CompareTo (b), "#a_" + i + "_" + j);
211
212                                         Assert.AreEqual (a > c, a > b, "#b_" + i + "_" + j);
213                                         Assert.AreEqual (a < c, a < b, "#c_" + i + "_" + j);
214                                         Assert.AreEqual (a <= c, a <= b, "#d_" + i + "_" + j);
215                                         Assert.AreEqual (a == c, a == b, "#e_" + i + "_" + j);
216                                         Assert.AreEqual (a != c, a != b, "#f_" + i + "_" + j);
217                                         Assert.AreEqual (a >= c, a >= b, "#g_" + i + "_" + j);
218
219                                         Assert.AreEqual (c > a, b > a, "#ib_" + i + "_" + j);
220                                         Assert.AreEqual (c < a, b < a, "#ic_" + i + "_" + j);
221                                         Assert.AreEqual (c <= a, b <= a, "#id_" + i + "_" + j);
222                                         Assert.AreEqual (c == a, b == a, "#ie_" + i + "_" + j);
223                                         Assert.AreEqual (c != a, b != a, "#if_" + i + "_" + j);
224                                         Assert.AreEqual (c >= a, b >= a, "#ig_" + i + "_" + j);
225                                 }
226                         }
227                 }
228
229                 [Test]
230                 public void TestEquals () {
231                                 var a = new BigInteger (10);
232                                 var b = new BigInteger (10);
233                                 var c = new BigInteger (-10);
234
235                                 Assert.AreEqual (a, b, "#1");
236                                 Assert.AreNotEqual (a, c, "#2");
237                                 Assert.AreNotEqual (a, 10, "#3");
238                 }
239
240                 [Test]
241                 public void ByteArrayCtor ()
242                 {
243                         try {
244                                 new BigInteger (null);
245                                 Assert.Fail ("#1");
246                         } catch (ArgumentNullException) {}
247
248                         Assert.AreEqual (0, (int)new BigInteger (new byte [0]), "#2");
249                 }
250
251                 [Test]
252                 public void IntCtorRoundTrip ()
253                 {
254                         int[] values = new int [] {
255                                 int.MinValue, -0x2F33BB, -0x1F33, -0x33, 0, 0x33,
256                                 0x80, 0x8190, 0xFF0011, 0x1234, 0x11BB99, 0x44BB22CC,
257                                 int.MaxValue };
258                         foreach (var val in values) {
259                                 var a = new BigInteger (val);
260                                 var b = new BigInteger (a.ToByteArray ());
261
262                                 Assert.AreEqual (val, (int)a, "#a_" + val);
263                                 Assert.AreEqual (val, (int)b, "#b_" + val);
264                         }
265                 }
266
267                 [Test]
268                 public void LongCtorRoundTrip ()
269                 {
270                         long[] values = new long [] {
271                                 0, long.MinValue, long.MaxValue, -1, 1L + int.MaxValue, -1L + int.MinValue, 0x1234, 0xFFFFFFFFL, 0x1FFFFFFFFL, -0xFFFFFFFFL, -0x1FFFFFFFFL,
272                                 0x100000000L, -0x100000000L, 0x100000001L, -0x100000001L };
273                         foreach (var val in values) {
274                                 var a = new BigInteger (val);
275                                 var b = new BigInteger (a.ToByteArray ());
276
277                                 Assert.AreEqual (val, (long)a, "#a_" + val);
278                                 Assert.AreEqual (val, (long)b, "#b_" + val);
279                         }
280                 }
281
282                 [Test]
283                 public void ByteArrayCtorRoundTrip ()
284                 {
285                         var arr = new byte [] { 1,2,3,4,5,6,7,8,9 };
286                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#1");
287
288                         arr = new byte [] { 1,2,3,4,5,6,7,8,0xFF, 0x0};
289                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#2");
290
291                         arr = new byte [] { 1,2,3,4,5,6,7,8,9, 0xF0 };
292                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#3");
293
294                         arr = new byte [] { 1};
295                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#4");
296
297                         arr = new byte [] { 1,2 };
298                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#5");
299
300                         arr = new byte [] { 1,2,3 };
301                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#6");
302
303                         arr = new byte [] { 1,2,3,4 };
304                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#7");
305
306                         arr = new byte [] { 1,2,3,4,5 };
307                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#8");
308
309                         arr = new byte [] { 1,2,3,4,5,6 };
310                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#9");
311
312                         arr = new byte [] { 1,2,3,4,5,6,7 };
313                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#10");
314
315                         arr = new byte [] { 1,2,3,4,5 };
316                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#11");
317
318                         arr = new byte [] { 0 };
319                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#12");
320
321                         arr = new byte [] { 0xFF, 00 };
322                         Assert.AreEqual (arr, new BigInteger (arr).ToByteArray (), "#13");
323
324                         arr = new byte [] { 1, 0, 0, 0, 0, 0, };
325                         Assert.AreEqual (new byte [1] {1}, new BigInteger (arr).ToByteArray (), "#14");
326                 }
327
328                 [Test]
329                 public void TestIntCtorProperties ()
330                 {
331                         BigInteger a = new BigInteger (10);
332                         Assert.IsTrue (a.IsEven, "#1");
333                         Assert.IsFalse (a.IsOne, "#2");
334                         Assert.IsFalse (a.IsPowerOfTwo, "#3");
335                         Assert.IsFalse (a.IsZero, "#4");
336                         Assert.AreEqual (1, a.Sign, "#5");
337
338                         Assert.IsFalse (new BigInteger (11).IsEven, "#6");
339                         Assert.IsTrue (new BigInteger (1).IsOne, "#7");
340                         Assert.IsTrue (new BigInteger (32).IsPowerOfTwo, "#8");
341                         Assert.IsTrue (new BigInteger (0).IsZero, "#9");
342                         Assert.AreEqual (0, new BigInteger (0).Sign, "#10");
343                         Assert.AreEqual (-1, new BigInteger (-99999).Sign, "#11");
344
345                         Assert.IsFalse (new BigInteger (0).IsPowerOfTwo, "#12");
346                         Assert.IsFalse (new BigInteger (-16).IsPowerOfTwo, "#13");
347                         Assert.IsTrue (new BigInteger (1).IsPowerOfTwo, "#14");
348                 }
349
350                 /*[Test]
351                 public void TestIntCtorToString ()
352                 {
353                         Assert.AreEqual ("5555", new BigInteger (5555).ToString (), "#1");
354                         Assert.AreEqual ("-99999", new BigInteger (-99999).ToString (), "#2");
355                 }*/
356
357                 [Test]
358                 public void TestToIntOperator ()
359                 {
360                         try {
361                                 int v = (int)new BigInteger (huge_a);
362                                 Assert.Fail ("#1");
363                         } catch (OverflowException) {}
364
365                         try {
366                                 int v = (int)new BigInteger (1L + int.MaxValue);
367                                 Assert.Fail ("#2");
368                         } catch (OverflowException) {}
369
370                         try {
371                                 int v = (int)new BigInteger (-1L + int.MinValue);
372                                 Assert.Fail ("#3");
373                         } catch (OverflowException) {}
374
375                         Assert.AreEqual (int.MaxValue, (int)new BigInteger (int.MaxValue), "#4");
376                         Assert.AreEqual (int.MinValue, (int)new BigInteger (int.MinValue), "#5");
377                 }
378
379
380                 [Test]
381                 public void TestToLongOperator ()
382                 {
383                         try {
384                                 long v = (long)new BigInteger (huge_a);
385                                 Assert.Fail ("#1");
386                         } catch (OverflowException) {}
387
388                         //long.MaxValue + 1
389                         try {
390                                 long v = (long)new BigInteger (new byte[] { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00 });
391                                 Assert.Fail ("#2");
392                         } catch (OverflowException) {}
393
394                         //TODO long.MinValue - 1
395                         try {
396                                 long v = (long)new BigInteger (new byte[] { 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0x7F, 0xFF });
397                                 Assert.Fail ("#3");
398                         } catch (OverflowException) {}
399
400                         Assert.AreEqual (long.MaxValue, (long)new BigInteger (long.MaxValue), "#4");
401                         Assert.AreEqual (long.MinValue, (long)new BigInteger (long.MinValue), "#5");
402                 }
403
404                 [Test]
405                 public void TestIntCtorToByteArray ()
406                 {
407                         Assert.AreEqual (new byte[] { 0xFF }, new BigInteger (-1).ToByteArray (), "#1");
408                         Assert.AreEqual (new byte[] { 0xD4, 0xFE }, new BigInteger (-300).ToByteArray (), "#2");
409                         Assert.AreEqual (new byte[] { 0x80, 0x00 }, new BigInteger (128).ToByteArray (), "#3");
410                         Assert.AreEqual (new byte[] { 0x00, 0x60 }, new BigInteger (0x6000).ToByteArray (), "#4");
411                         Assert.AreEqual (new byte[] { 0x00, 0x80, 0x00 }, new BigInteger (0x8000).ToByteArray (), "#5");
412                         Assert.AreEqual (new byte[] { 0xDD, 0xBC, 0x00, 0x7A }, new BigInteger (0x7A00BCDD).ToByteArray (), "#6");
413                         Assert.AreEqual (new byte[] { 0xFF, 0xFF, 0xFF, 0x7F }, new BigInteger (int.MaxValue).ToByteArray (), "#7");
414                         Assert.AreEqual (new byte[] { 0x00, 0x00, 0x00, 0x80 }, new BigInteger (int.MinValue).ToByteArray (), "#8");
415                         Assert.AreEqual (new byte[] { 0x01, 0x00, 0x00, 0x80 }, new BigInteger (int.MinValue + 1).ToByteArray (), "#9");
416                         Assert.AreEqual (new byte[] { 0x7F }, new BigInteger (0x7F).ToByteArray (), "#10");
417                         Assert.AreEqual (new byte[] { 0x45, 0xCC, 0xD0 }, new BigInteger (-0x2F33BB).ToByteArray (), "#11");
418                         Assert.AreEqual (new byte[] { 0 }, new BigInteger (0).ToByteArray (), "#12");
419                 }
420
421                 [Test]
422                 public void TestLongCtorToByteArray ()
423                 {
424                         Assert.AreEqual (new byte[] { 0x01 }, new BigInteger (0x01L).ToByteArray (), "#1");
425                         Assert.AreEqual (new byte[] { 0x02, 0x01 }, new BigInteger (0x0102L).ToByteArray (), "#2");
426                         Assert.AreEqual (new byte[] { 0x03, 0x02, 0x01 }, new BigInteger (0x010203L).ToByteArray (), "#3");
427                         Assert.AreEqual (new byte[] { 0x04, 0x03, 0x2, 0x01 }, new BigInteger (0x01020304L).ToByteArray (), "#4");
428                         Assert.AreEqual (new byte[] { 0x05, 0x04, 0x03, 0x2, 0x01 }, new BigInteger (0x0102030405L).ToByteArray (), "#5");
429                         Assert.AreEqual (new byte[] { 0x06, 0x05, 0x04, 0x03, 0x2, 0x01 }, new BigInteger (0x010203040506L).ToByteArray (), "#6");
430                         Assert.AreEqual (new byte[] { 0x07, 0x06, 0x05, 0x04, 0x03, 0x2, 0x01 }, new BigInteger (0x01020304050607L).ToByteArray (), "#7");
431                         Assert.AreEqual (new byte[] { 0x08, 0x07, 0x06, 0x05, 0x04, 0x03, 0x2, 0x01 }, new BigInteger (0x0102030405060708L).ToByteArray (), "#8");
432
433                         Assert.AreEqual (new byte[] { 0xFF }, new BigInteger (-0x01L).ToByteArray (), "#1m");
434                         Assert.AreEqual (new byte[] { 0xFE, 0xFE}, new BigInteger (-0x0102L).ToByteArray (), "#2m");
435                         Assert.AreEqual (new byte[] { 0xFD, 0xFD, 0xFE }, new BigInteger (-0x010203L).ToByteArray (), "#3m");
436                         Assert.AreEqual (new byte[] { 0xFC, 0xFC, 0xFD, 0xFE}, new BigInteger (-0x01020304L).ToByteArray (), "#4m");
437                         Assert.AreEqual (new byte[] { 0xFB, 0xFB, 0xFC, 0xFD, 0xFE }, new BigInteger (-0x0102030405L).ToByteArray (), "#5m");
438                         Assert.AreEqual (new byte[] { 0xFA, 0xFA, 0xFB, 0xFC, 0xFD, 0xFE }, new BigInteger (-0x010203040506L).ToByteArray (), "#6m");
439                         Assert.AreEqual (new byte[] { 0xF9, 0xF9, 0xFA, 0xFB, 0xFC, 0xFD, 0xFE }, new BigInteger (-0x01020304050607L).ToByteArray (), "#7m");
440                         Assert.AreEqual (new byte[] { 0xF8, 0xF8, 0xF9, 0xFA, 0xFB, 0xFC, 0xFD, 0xFE }, new BigInteger (-0x0102030405060708L).ToByteArray (), "#8m");
441
442
443                         Assert.AreEqual (new byte[] { 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0x7F }, new BigInteger (long.MaxValue).ToByteArray (), "#9");
444                         Assert.AreEqual (new byte[] { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80 }, new BigInteger (long.MinValue).ToByteArray (), "#10");
445
446                         Assert.AreEqual (new byte[] { 0xFF, 0xFF, 0xFF, 0x7F, 0xFF }, new BigInteger (-2147483649L).ToByteArray (), "11");
447
448
449                 }
450
451                 [Test]
452                 public void IComparable () {
453                         var a = new BigInteger (99);
454                         Assert.AreEqual (-1, a.CompareTo (100), "#1");
455                         Assert.AreEqual (1, a.CompareTo (null), "#2");
456                 }
457         }
458 }