[bcl] Remove more NET_2_0 checks from class libs
[mono.git] / mcs / class / corlib / Test / System / MathTest.cs
1 // MathTest.cs
2 //
3 // Jon Guymon (guymon@slackworks.com)
4 // Pedro Martínez Juliá (yoros@wanadoo.es)
5 //
6 // (C) 2002 Jon Guymon
7 // Copyright (C) 2003 Pedro Martínez Juliá <yoros@wanadoo.es>
8 // Copyright (C) 2004 Novell (http://www.novell.com)
9 // 
10
11 using System;
12 using NUnit.Framework;
13
14 namespace MonoTests.System
15 {
16         [TestFixture]
17         public class MathTest
18         {
19                 private static double double_epsilon =
20                         double.Epsilon;
21
22                 static double x = 0.1234;
23                 static double y = 12.345;
24
25                 [Test]
26                 public void TestDecimalAbs ()
27                 {
28                         decimal a = -9.0M;
29
30                         Assert.IsTrue (9.0M == Math.Abs (a), "#1");
31                         Assert.IsTrue (Decimal.MaxValue == Math.Abs (Decimal.MaxValue), "#2");
32                         Assert.IsTrue (Decimal.MaxValue == Math.Abs (Decimal.MinValue), "#3");
33                         Assert.IsTrue (Decimal.Zero == Math.Abs (Decimal.Zero), "#4");
34                         Assert.IsTrue (Decimal.One == Math.Abs (Decimal.One), "#5");
35                         Assert.IsTrue (Decimal.One == Math.Abs (Decimal.MinusOne), "#6");
36                 }
37
38                 [Test]
39                 public void TestDoubleAbs ()
40                 {
41                         double a = -9.0D;
42
43                         Assert.IsTrue (9.0D == Math.Abs (a), "#1");
44                         Assert.IsTrue (0.0D == Math.Abs (0.0D), "#2");
45                         Assert.IsTrue (Double.MaxValue == Math.Abs (Double.MaxValue), "#3");
46                         Assert.IsTrue (Double.MaxValue == Math.Abs (Double.MinValue), "#4");
47                         Assert.IsTrue (Double.IsPositiveInfinity (Math.Abs (Double.PositiveInfinity)), "#5");
48                         Assert.IsTrue (Double.IsPositiveInfinity (Math.Abs (Double.NegativeInfinity)), "#6");
49                         Assert.IsTrue (Double.IsNaN (Math.Abs (Double.NaN)), "#7");
50                 }
51
52                 [Test]
53                 public void TestFloatAbs ()
54                 {
55                         float a = -9.0F;
56
57                         Assert.IsTrue (9.0F == Math.Abs (a), "#1");
58                         Assert.IsTrue (0.0F == Math.Abs (0.0F), "#2");
59                         Assert.IsTrue (Single.MaxValue == Math.Abs (Single.MaxValue), "#3");
60                         Assert.IsTrue (Single.MaxValue == Math.Abs (Single.MinValue), "#4");
61                         Assert.IsTrue (Single.PositiveInfinity == Math.Abs (Single.PositiveInfinity), "#5");
62                         Assert.IsTrue (Single.PositiveInfinity == Math.Abs (Single.NegativeInfinity), "#6");
63                         Assert.IsTrue (Single.IsNaN (Math.Abs (Single.NaN)), "#7");
64                 }
65
66                 [Test]
67                 public void TestLongAbs ()
68                 {
69                         long a = -9L;
70                         long b = Int64.MinValue;
71
72                         Assert.IsTrue (9L == Math.Abs (a), "#1");
73                         try {
74                                 Math.Abs (b);
75                                 Assert.Fail ("#2");
76                         } catch (Exception e) {
77                                 Assert.AreEqual (typeof (OverflowException), e.GetType (), "#3");
78                         }
79                         Assert.IsTrue (Int64.MaxValue == Math.Abs (Int64.MaxValue), "#4");
80                 }
81
82                 [Test]
83                 public void TestIntAbs ()
84                 {
85                         int a = -9;
86                         int b = Int32.MinValue;
87
88                         Assert.IsTrue (9 == Math.Abs (a), "#1");
89                         try {
90                                 Math.Abs (b);
91                                 Assert.Fail ("#2");
92                         } catch (Exception e) {
93                                 Assert.AreEqual (typeof (OverflowException), e.GetType (), "#3");
94                         }
95                         Assert.IsTrue (Int32.MaxValue == Math.Abs (Int32.MaxValue), "#4");
96                 }
97
98                 [Test]
99                 public void TestSbyteAbs ()
100                 {
101                         sbyte a = -9;
102                         sbyte b = SByte.MinValue;
103
104                         Assert.IsTrue (9 == Math.Abs (a), "#1");
105                         try {
106                                 Math.Abs (b);
107                                 Assert.Fail ("#2");
108                         } catch (Exception e) {
109                                 Assert.AreEqual (typeof (OverflowException), e.GetType (), "#3");
110                         }
111                         Assert.IsTrue (SByte.MaxValue == Math.Abs (SByte.MaxValue), "#4");
112                 }
113
114                 [Test]
115                 public void TestShortAbs ()
116                 {
117                         short a = -9;
118                         short b = Int16.MinValue;
119
120                         Assert.IsTrue (9 == Math.Abs (a), "#1");
121                         try {
122                                 Math.Abs (b);
123                                 Assert.Fail ("#2");
124                         } catch (Exception e) {
125                                 Assert.AreEqual (typeof (OverflowException), e.GetType (), "#3");
126                         }
127                         Assert.IsTrue (Int16.MaxValue == Math.Abs (Int16.MaxValue), "#4");
128                 }
129
130                 [Test]
131                 public void TestAcos ()
132                 {
133                         double a = Math.Acos (x);
134                         double b = 1.4470809809523457;
135
136                         bool regularTest = (Math.Abs (a - b) <= double_epsilon);
137                         if (!regularTest){
138                                 //
139                                 // On MacOS X libc acos (0.1234) returns
140                                 // 1.4470809809523455 (hex 0x3ff7273e62fda9ab) instead
141                                 // of 1.4470809809523457 (hex 0x3ff7273e62fda9ac)
142                                 //
143                                 // For now, let it go
144                                 //
145                                 if (a == 1.4470809809523455)
146                                         regularTest = true;
147                         }
148                         
149                         Assert.IsTrue (regularTest, a.ToString ("G99") + " != " + b.ToString ("G99"));
150                         
151                         Assert.IsTrue (double.IsNaN (Math.Acos (-1.01D)));
152                         Assert.IsTrue (double.IsNaN (Math.Acos (1.01D)));
153                         Assert.IsTrue (double.IsNaN (Math.Acos (Double.MinValue)));
154                         Assert.IsTrue (double.IsNaN (Math.Acos (Double.MaxValue)));
155                         Assert.IsTrue (double.IsNaN (Math.Acos (Double.NegativeInfinity)));
156                         Assert.IsTrue (double.IsNaN (Math.Acos (Double.PositiveInfinity)));
157                 }
158
159                 [Test]
160                 public void TestAsin ()
161                 {
162                         double a = Math.Asin (x);
163                         double b = 0.12371534584255098;
164
165                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
166                                 + " != " + b.ToString ("G99"));
167                         Assert.IsTrue (double.IsNaN (Math.Asin (-1.01D)));
168                         Assert.IsTrue (double.IsNaN (Math.Asin (1.01D)));
169                         Assert.IsTrue (double.IsNaN (Math.Asin (Double.MinValue)));
170                         Assert.IsTrue (double.IsNaN (Math.Asin (Double.MaxValue)));
171                         Assert.IsTrue (double.IsNaN (Math.Asin (Double.NegativeInfinity)));
172                         Assert.IsTrue (double.IsNaN (Math.Asin (Double.PositiveInfinity)));
173                 }
174
175                 [Test]
176                 public void TestAtan ()
177                 {
178                         double a = Math.Atan (x);
179                         double b = 0.12277930094473837;
180                         double c = 1.5707963267948966;
181                         double d = -1.5707963267948966;
182
183                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), "#1: " + a.ToString ("G99")
184                                 + " != " + b.ToString ("G99"));
185                         Assert.IsTrue (double.IsNaN (Math.Atan (double.NaN)), "should return NaN");
186                         Assert.IsTrue (Math.Abs ((double) Math.Atan (double.PositiveInfinity) - c) <= 0.0000000000000001,
187                                 "#2: " + Math.Atan (double.PositiveInfinity).ToString ("G99") + " != " + c.ToString ("G99"));
188                         Assert.IsTrue (Math.Abs ((double) Math.Atan (double.NegativeInfinity) - d) <= 0.0000000000000001,
189                                 "#3: " + Math.Atan (double.NegativeInfinity).ToString ("G99") + " != " + d.ToString ("G99"));
190                 }
191
192                 [Test]
193                 public void TestAtan2 ()
194                 {
195                         double a = Math.Atan2 (x, y);
196                         double b = 0.0099956168687207747;
197
198                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
199                                 + " != " + b.ToString ("G99"));
200                         Assert.IsTrue (double.IsNaN (Math.Acos (-2D)));
201                         Assert.IsTrue (double.IsNaN (Math.Acos (2D)));
202                 }
203
204                 // The following test is for methods that are in ECMA but they are
205                 // not implemented in MS.NET. I leave them commented.
206                 /*
207                 public void TestBigMul () {
208                         int a = int.MaxValue;
209                         int b = int.MaxValue;
210
211                         Assert(((long)a * (long)b) == Math.BigMul(a,b));
212                 }
213                 */
214
215                 [Test]
216                 public void TestCos ()
217                 {
218                         double a = Math.Cos (x);
219                         double b = 0.99239587670489104;
220
221                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
222                                 + " != " + b.ToString ("G99"));
223                         Assert.IsTrue (double.IsNaN (Math.Cos (Double.NaN)));
224                         Assert.IsTrue (double.IsNaN (Math.Cos (Double.NegativeInfinity)));
225                         Assert.IsTrue (double.IsNaN (Math.Cos (Double.PositiveInfinity)));
226                 }
227
228                 [Test]
229                 public void TestCosh ()
230                 {
231                         double a = Math.Cosh (x);
232                         double b = 1.0076234465130722;
233
234                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
235                                 + " != " + b.ToString ("G99"));
236                         Assert.IsTrue (Math.Cosh (double.NegativeInfinity) == double.PositiveInfinity);
237                         Assert.IsTrue (Math.Cosh (double.PositiveInfinity) == double.PositiveInfinity);
238                         Assert.IsTrue (double.IsNaN (Math.Cosh (double.NaN)));
239                 }
240
241                 // The following test is for methods that are in ECMA but they are
242                 // not implemented in MS.NET. I leave them commented.
243                 /*
244                 public void TestIntDivRem () {
245                         int a = 5;
246                         int b = 2;
247                         int div = 0, rem = 0;
248
249                         div = Math.DivRem (a, b, out rem);
250
251                         Assert.IsTrue (rem == 1);
252                         Assert.IsTrue (div == 2);
253                 }
254
255                 public void TestLongDivRem () {
256                         long a = 5;
257                         long b = 2;
258                         long div = 0, rem = 0;
259
260                         div = Math.DivRem (a, b, out rem);
261
262                         Assert.IsTrue (rem == 1);
263                         Assert.IsTrue (div == 2);
264                 }
265                 */
266
267                 [Test]
268                 public void TestSin ()
269                 {
270                         double a = Math.Sin (x);
271                         double b = 0.12308705821137626;
272
273                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
274                                 + " != " + b.ToString ("G99"));
275                         Assert.IsTrue (double.IsNaN (Math.Sin (Double.NaN)));
276                         Assert.IsTrue (double.IsNaN (Math.Sin (Double.NegativeInfinity)));
277                         Assert.IsTrue (double.IsNaN (Math.Sin (Double.PositiveInfinity)));
278                 }
279
280                 [Test]
281                 public void TestSinh ()
282                 {
283                         double a = Math.Sinh (x);
284                         double b = 0.12371341868561381;
285
286                         Assert.IsTrue (Math.Abs (a - b) <= 0.0000000000000001, a.ToString ("G99")
287                                 + " != " + b.ToString ("G99"));
288                         Assert.IsTrue (double.IsNaN (Math.Sinh (Double.NaN)));
289                         Assert.IsTrue (double.IsNegativeInfinity (Math.Sinh (Double.NegativeInfinity)));
290                         Assert.IsTrue (double.IsPositiveInfinity (Math.Sinh (Double.PositiveInfinity)));
291                 }
292
293                 [Test]
294                 public void TestTan ()
295                 {
296                         double a = Math.Tan (x);
297                         double b = 0.12403019913793806;
298
299                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
300                                 + " != " + b.ToString ("G99"));
301                         Assert.IsTrue (Double.IsNaN (Math.Tan (Double.NaN)));
302                         Assert.IsTrue (Double.IsNaN (Math.Tan (Double.PositiveInfinity)));
303                         Assert.IsTrue (Double.IsNaN (Math.Tan (Double.NegativeInfinity)));
304                 }
305
306                 [Test]
307                 public void TestTanh ()
308                 {
309                         double a = Math.Tanh (x);
310                         double b = 0.12277743150353424;
311
312                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
313                                 + " != " + b.ToString ("G99"));
314                         Assert.IsTrue (Double.IsNaN (Math.Tanh (Double.NaN)),
315                                 "Tanh(NaN) should be NaN");
316                         Assert.IsTrue (1 == Math.Tanh (Double.PositiveInfinity),
317                                 "Tanh(+Infinity) should be 1");
318                         Assert.IsTrue (-1 == Math.Tanh (Double.NegativeInfinity),
319                                 "Tanh(-Infinity) should be -1");
320                 }
321
322                 [Test]
323                 public void TestSqrt ()
324                 {
325                         double a = Math.Sqrt (x);
326                         double b = 0.35128336140500593;
327
328                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
329                                 + " != " + b.ToString ("G99"));
330                         Assert.IsTrue (Double.IsNaN (Math.Sqrt (Double.NaN)));
331                         Assert.IsTrue (Double.IsPositiveInfinity (Math.Sqrt (Double.PositiveInfinity)));
332                         Assert.IsTrue (Double.IsNaN (Math.Sqrt (Double.NegativeInfinity)));
333                 }
334
335                 [Test]
336                 public void TestExp ()
337                 {
338                         double a = Math.Exp (x);
339                         double b = 1.1313368651986859;
340
341                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
342                                 + " != " + b.ToString ("G99"));
343                         Assert.IsTrue (double.IsNaN (Math.Exp (double.NaN)));
344                         Assert.IsTrue (Math.Exp (double.NegativeInfinity) == 0);
345                         Assert.IsTrue (Math.Exp (double.PositiveInfinity) == double.PositiveInfinity);
346                 }
347
348                 [Test]
349                 public void TestCeiling ()
350                 {
351                         int iTest = 1;
352                         try {
353                                 double a = Math.Ceiling (1.5);
354                                 double b = 2;
355
356                                 iTest++;
357                                 Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
358                                         + " != " + b.ToString ("G99"));
359                                 iTest++;
360                                 Assert.IsTrue (Math.Ceiling (double.NegativeInfinity) == double.NegativeInfinity);
361                                 iTest++;
362                                 Assert.IsTrue (Math.Ceiling (double.PositiveInfinity) == double.PositiveInfinity);
363                                 iTest++;
364                                 Assert.IsTrue (double.IsNaN (Math.Ceiling (double.NaN)));
365
366                                 iTest++;
367                                 Assert.IsTrue (Double.MaxValue == Math.Ceiling (Double.MaxValue));
368
369                                 iTest++;
370                                 Assert.IsTrue (Double.MinValue == Math.Ceiling (Double.MinValue));
371                         } catch (Exception e) {
372                                 Assert.Fail ("Unexpected Exception at iTest=" + iTest + ": " + e);
373                         }
374                 }
375
376                 [Test]
377                 public void TestDecimalCeiling()
378                 {
379                         decimal a = Math.Ceiling(1.5M);
380                         decimal b = 2M;
381
382                         Assert.IsTrue (a == b, "#1");
383                         Assert.IsTrue (Decimal.MaxValue == Math.Ceiling(Decimal.MaxValue), "#2");
384                         Assert.IsTrue (Decimal.MinValue == Math.Ceiling(Decimal.MinValue), "#3");
385                 }
386
387                 [Test]
388                 public void TestFloor ()
389                 {
390                         double a = Math.Floor (1.5);
391                         double b = 1;
392
393                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
394                                 + " != " + b.ToString ("G99"));
395                         Assert.IsTrue (Math.Floor (double.NegativeInfinity) == double.NegativeInfinity);
396                         Assert.IsTrue (Math.Floor (double.PositiveInfinity) == double.PositiveInfinity);
397                         Assert.IsTrue (double.IsNaN (Math.Floor (double.NaN)));
398
399                         Assert.IsTrue (Double.MaxValue == Math.Floor (Double.MaxValue));
400
401                         Assert.IsTrue (Double.MinValue == Math.Floor (Double.MinValue));
402                 }
403
404                 [Test]
405                 public void TestIEEERemainder ()
406                 {
407                         double a = Math.IEEERemainder (y, x);
408                         double b = 0.0050000000000007816;
409
410                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
411                                 + " != " + b.ToString ("G99"));
412
413                         Assert.IsTrue (double.IsNaN (Math.IEEERemainder (y, 0)), "Positive 0");
414
415                         // http://www.obtuse.com/resources/negative_zero.html
416                         double n0 = BitConverter.Int64BitsToDouble (Int64.MinValue);
417                         Assert.IsTrue (double.IsNaN (Math.IEEERemainder (n0, 0)), "Negative 0");
418
419                         // the "zero" remainder of negative number is negative
420                         long result = BitConverter.DoubleToInt64Bits (Math.IEEERemainder (-1, 1));
421                         Assert.AreEqual (Int64.MinValue, result, "Negative Dividend");
422                 }
423
424                 [Test]
425                 public void TestLog ()
426                 {
427                         double a = Math.Log (y);
428                         double b = 2.513251122797143;
429
430                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
431                                 + " != " + b.ToString ("G99"));
432                         Assert.IsTrue (double.IsNaN (Math.Log (-1)));
433                         Assert.IsTrue (double.IsNaN (Math.Log (double.NaN)));
434
435                         // MS docs say this should be PositiveInfinity
436                         Assert.IsTrue (Math.Log (0) == double.NegativeInfinity);
437                         Assert.IsTrue (Math.Log (double.PositiveInfinity) == double.PositiveInfinity);
438                 }
439
440                 [Test]
441                 public void TestLog2 ()
442                 {
443                         double a = Math.Log (x, y);
444                         double b = -0.83251695325303621;
445
446                         Assert.IsTrue ((Math.Abs (a - b) <= 1e-14), a + " != " + b
447                                 + " because diff is " + Math.Abs (a - b));
448                         Assert.IsTrue (double.IsNaN (Math.Log (-1, y)));
449                         Assert.IsTrue (double.IsNaN (Math.Log (double.NaN, y)));
450                         Assert.IsTrue (double.IsNaN (Math.Log (x, double.NaN)));
451                         Assert.IsTrue (double.IsNaN (Math.Log (double.NegativeInfinity, y)));
452                         Assert.IsTrue (double.IsNaN (Math.Log (x, double.NegativeInfinity)));
453                         Assert.IsTrue (double.IsNaN (Math.Log (double.PositiveInfinity, double.PositiveInfinity)));
454                         Assert.IsTrue (double.IsNaN (Math.Log (2, 1)));
455
456                         // MS docs say this should be PositiveInfinity
457                         Assert.IsTrue (Math.Log (0, y) == double.NegativeInfinity);
458                         Assert.IsTrue (Math.Log (double.PositiveInfinity, y) == double.PositiveInfinity);
459                         Assert.IsTrue (Math.Log (x, double.PositiveInfinity) == 0);
460                 }
461
462                 [Test]
463                 public void TestLog10 ()
464                 {
465                         double a = Math.Log10 (x);
466                         double b = -0.90868484030277719;
467
468                         Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99")
469                                 + " != " + b.ToString ("G99"));
470                         Assert.IsTrue (double.IsNaN (Math.Log10 (-1)));
471                         Assert.IsTrue (double.IsNaN (Math.Log10 (double.NaN)));
472
473                         // MS docs say this should be PositiveInfinity
474                         Assert.IsTrue (Math.Log10 (0) == double.NegativeInfinity);
475                         Assert.IsTrue (Math.Log10 (double.PositiveInfinity) == double.PositiveInfinity);
476
477                 }
478
479                 [Test]
480                 public void TestPow ()
481                 {
482                         int iTest = 1;
483
484                         try {
485                                 double a = Math.Pow (y, x);
486                                 double b = 1.363609446060212;
487
488                                 Assert.IsTrue ((Math.Abs (a - b) <= double_epsilon), a.ToString ("G99") + " != " + b.ToString ("G99"));
489                                 iTest++;
490                                 Assert.IsTrue (double.IsNaN (Math.Pow (y, double.NaN)));
491                                 iTest++;
492                                 Assert.IsTrue (double.IsNaN (Math.Pow (double.NaN, x)));
493                                 iTest++;
494                                 Assert.IsTrue (double.IsNegativeInfinity (Math.Pow (double.NegativeInfinity, 1)),
495                                         "Math.Pow(double.NegativeInfinity, 1) should be NegativeInfinity");
496                                 iTest++;
497                                 Assert.IsTrue (double.IsPositiveInfinity (Math.Pow (double.NegativeInfinity, 2)),
498                                         "Math.Pow(double.NegativeInfinity, 2) should be PositiveInfinity");
499
500                                 // MS docs say this should be 0
501                                 iTest++;
502                                 Assert.IsTrue (double.IsNaN (Math.Pow (1, double.NegativeInfinity)));
503                                 iTest++;
504                                 Assert.AreEqual ((double) 0, Math.Pow (double.PositiveInfinity, double.NegativeInfinity),
505                                         "Math.Pow(double.PositiveInfinity, double.NegativeInfinity)");
506                                 iTest++;
507                                 Assert.IsTrue (double.IsPositiveInfinity (Math.Pow (double.PositiveInfinity, 1)),
508                                         "Math.Pow(double.PositiveInfinity, 1) should be PositiveInfinity");
509
510                                 // MS docs say this should be PositiveInfinity
511                                 iTest++;
512                                 Assert.IsTrue (double.IsNaN (Math.Pow (1, double.PositiveInfinity)),
513                                         "Math.Pow(1, double.PositiveInfinity) should be NaN");
514
515                                 iTest++;
516                                 Assert.IsTrue (Double.IsNaN (Math.Pow (1, Double.NaN)),
517                                         "Math.Pow(1, NaN) should be NaN");
518                                 iTest++;
519                                 Assert.IsTrue (Double.IsNaN (Math.Pow (Double.NaN, 0)),
520                                         "Math.Pow(NaN, 0) should be NaN");
521                                 iTest++;
522                                 Assert.IsTrue (1.0 == Math.Pow (-1, Double.MaxValue),
523                                         "Math.Pow(-1, MaxValue) should be 1.0");
524
525                                 iTest++;
526                                 Assert.IsTrue (1.0 == Math.Pow (-1, Double.MinValue),
527                                         "Math.Pow(-1, MinValue) should be 1.0");
528
529                                 iTest++;
530                                 Assert.IsTrue (Double.IsPositiveInfinity (Math.Pow (Double.MinValue,
531                                         Double.MaxValue)), "Math.Pow(MinValue, MaxValue) should be +Infinity");
532
533                                 iTest++;
534                                 Assert.IsTrue (0.0 == Math.Pow (Double.MinValue, Double.MinValue),
535                                         "Math.Pow(MinValue, MinValue) should be 0.0");
536
537                                 //
538                                 // The following bugs were present because we tried to outsmart the C Pow:
539                                 //
540                                 double infinity = Double.PositiveInfinity;
541                                 Assert.IsTrue (Math.Pow (0.5, infinity) == 0.0,
542                                         "Math.Pow(0.5, Infinity) == 0.0");
543                                 Assert.IsTrue (Math.Pow (0.5, -infinity) == infinity,
544                                         "Math.Pow(0.5, -Infinity) == Infinity");
545                                 Assert.IsTrue (Math.Pow (2, infinity) == infinity,
546                                         "Math.Pow(2, Infinity) == Infinity");
547                                 Assert.IsTrue (Math.Pow (2, -infinity) == 0.0,
548                                         "Math.Pow(2, -Infinity) == 0");
549                                 Assert.IsTrue (Math.Pow (infinity, 0) == 1.0,
550                                         "Math.Pow(Infinity, 0) == 1.0");
551                                 Assert.IsTrue (Math.Pow (-infinity, 0) == 1.0,
552                                         "Math.Pow(-Infinity, 0) == 1.0");
553                         } catch (Exception e) {
554                                 Assert.Fail ("Unexpected exception at iTest=" + iTest + ". e=" + e);
555                         }
556                 }
557
558                 [Test]
559                 public void TestByteMax ()
560                 {
561                         byte a = 1;
562                         byte b = 2;
563
564                         Assert.IsTrue (b == Math.Max (a, b), "#1");
565                         Assert.IsTrue (b == Math.Max (b, a), "#2");
566                 }
567
568                 [Test]
569                 public void TestDecimalMax ()
570                 {
571                         decimal a = 1.5M;
572                         decimal b = 2.5M;
573
574                         Assert.IsTrue (b == Math.Max (a, b), "#1");
575                         Assert.IsTrue (b == Math.Max (b, a), "#2");
576                 }
577
578                 [Test]
579                 public void TestDoubleMax ()
580                 {
581                         double a = 1.5D;
582                         double b = 2.5D;
583
584                         Assert.IsTrue (b == Math.Max (a, b), "#1");
585                         Assert.IsTrue (b == Math.Max (b, a), "#2");
586
587                         Assert.IsTrue (Double.IsNaN (Math.Max (Double.NaN, Double.NaN)), "#3");
588                         Assert.IsTrue (Double.IsNaN (Math.Max (Double.NaN, a)), "#4");
589                         Assert.IsTrue (Double.IsNaN (Math.Max (b, Double.NaN)), "#5");
590                 }
591
592                 [Test]
593                 public void TestFloatMax ()
594                 {
595                         float a = 1.5F;
596                         float b = 2.5F;
597
598                         Assert.IsTrue (b == Math.Max (a, b), "#1");
599                         Assert.IsTrue (b == Math.Max (b, a), "#2");
600                         Assert.IsTrue (Single.IsNaN (Math.Max (Single.NaN, Single.NaN)), "#3");
601                         Assert.IsTrue (Single.IsNaN (Math.Max (Single.NaN, a)), "#4");
602                         Assert.IsTrue (Single.IsNaN (Math.Max (b, Single.NaN)), "#5");
603                 }
604
605                 [Test]
606                 public void TestIntMax ()
607                 {
608                         int a = 1;
609                         int b = 2;
610                         int c = 100;
611                         int d = -2147483647;
612
613                         Assert.AreEqual (b, Math.Max (a, b), "#1");
614                         Assert.AreEqual (b, Math.Max (b, a), "#2");
615                         Assert.AreEqual (c, Math.Max (c, d), "#3");
616                         Assert.AreEqual (c, Math.Max (d, c), "#4");
617                 }
618
619                 [Test]
620                 public void TestLongMax ()
621                 {
622                         long a = 1L;
623                         long b = 2L;
624
625                         Assert.IsTrue (b == Math.Max (a, b), "#1");
626                         Assert.IsTrue (b == Math.Max (b, a), "#2");
627                 }
628
629                 [Test]
630                 public void TestSbyteMax ()
631                 {
632                         sbyte a = 1;
633                         sbyte b = 2;
634
635                         Assert.IsTrue (b == Math.Max (a, b), "#1");
636                         Assert.IsTrue (b == Math.Max (b, a), "#2");
637                 }
638
639                 [Test]
640                 public void TestShortMax ()
641                 {
642                         short a = 1;
643                         short b = 2;
644
645                         Assert.IsTrue (b == Math.Max (a, b), "#1");
646                         Assert.IsTrue (b == Math.Max (b, a), "#2");
647                 }
648
649                 [Test]
650                 public void TestUintMax ()
651                 {
652                         uint a = 1U;
653                         uint b = 2U;
654
655                         Assert.IsTrue (b == Math.Max (a, b), "#1");
656                         Assert.IsTrue (b == Math.Max (b, a), "#2");
657                 }
658
659                 [Test]
660                 public void TestUlongMax ()
661                 {
662                         ulong a = 1UL;
663                         ulong b = 2UL;
664
665                         Assert.IsTrue (b == Math.Max (a, b), "#1");
666                         Assert.IsTrue (b == Math.Max (b, a), "#2");
667                 }
668
669                 [Test]
670                 public void TestUshortMax ()
671                 {
672                         ushort a = 1;
673                         ushort b = 2;
674
675                         Assert.IsTrue (b == Math.Max (a, b), "#1");
676                         Assert.IsTrue (b == Math.Max (b, a), "#2");
677                 }
678
679                 [Test]
680                 public void TestByteMin ()
681                 {
682                         byte a = 1;
683                         byte b = 2;
684
685                         Assert.IsTrue (a == Math.Min (a, b), "#1");
686                         Assert.IsTrue (a == Math.Min (b, a), "#2");
687                 }
688
689                 [Test]
690                 public void TestDecimalMin ()
691                 {
692                         decimal a = 1.5M;
693                         decimal b = 2.5M;
694
695                         Assert.IsTrue (a == Math.Min (a, b), "#1");
696                         Assert.IsTrue (a == Math.Min (b, a), "#2");
697                 }
698
699                 [Test]
700                 public void TestDoubleMin ()
701                 {
702                         double a = 1.5D;
703                         double b = 2.5D;
704
705                         Assert.IsTrue (a == Math.Min (a, b), "#1");
706                         Assert.IsTrue (a == Math.Min (b, a), "#2");
707                         Assert.IsTrue (Double.IsNaN (Math.Min (Double.NaN, Double.NaN)), "#3");
708                         Assert.IsTrue (Double.IsNaN (Math.Min (Double.NaN, a)), "#4");
709                         Assert.IsTrue (Double.IsNaN (Math.Min (b, Double.NaN)), "#5");
710                 }
711
712                 [Test]
713                 public void TestFloatMin ()
714                 {
715                         float a = 1.5F;
716                         float b = 2.5F;
717
718                         Assert.IsTrue (a == Math.Min (a, b), "#1");
719                         Assert.IsTrue (a == Math.Min (b, a), "#2");
720                         Assert.IsTrue (Single.IsNaN (Math.Min (Single.NaN, Single.NaN)), "#3");
721                         Assert.IsTrue (Single.IsNaN (Math.Min (Single.NaN, a)), "#4");
722                         Assert.IsTrue (Single.IsNaN (Math.Min (b, Single.NaN)), "#5");
723                 }
724
725                 [Test]
726                 public void TestIntMin ()
727                 {
728                         int a = 1;
729                         int b = 2;
730
731                         Assert.IsTrue (a == Math.Min (a, b), "#1");
732                         Assert.IsTrue (a == Math.Min (b, a), "#2");
733                 }
734
735                 [Test]
736                 public void TestLongMin ()
737                 {
738                         long a = 1L;
739                         long b = 2L;
740
741                         Assert.IsTrue (a == Math.Min (a, b), "#1");
742                         Assert.IsTrue (a == Math.Min (b, a), "#2");
743                 }
744
745                 [Test]
746                 public void TestSbyteMin ()
747                 {
748                         sbyte a = 1;
749                         sbyte b = 2;
750
751                         Assert.IsTrue (a == Math.Min (a, b), "#1");
752                         Assert.IsTrue (a == Math.Min (b, a), "#2");
753                 }
754
755                 [Test]
756                 public void TestShortMin ()
757                 {
758                         short a = 1;
759                         short b = 2;
760
761                         Assert.IsTrue (a == Math.Min (a, b), "#1");
762                         Assert.IsTrue (a == Math.Min (b, a), "#2");
763                 }
764
765                 [Test]
766                 public void TestUintMin ()
767                 {
768                         uint a = 1U;
769                         uint b = 2U;
770
771                         Assert.IsTrue (a == Math.Min (a, b), "#1");
772                         Assert.IsTrue (a == Math.Min (b, a), "#2");
773                 }
774
775                 [Test]
776                 public void TestUlongMin ()
777                 {
778                         ulong a = 1UL;
779                         ulong b = 2UL;
780
781                         Assert.IsTrue (a == Math.Min (a, b), "#1");
782                         Assert.IsTrue (a == Math.Min (b, a), "#2");
783                 }
784
785                 [Test]
786                 public void TestUshortMin ()
787                 {
788                         ushort a = 1;
789                         ushort b = 2;
790
791                         Assert.IsTrue (a == Math.Min (a, b), "#1");
792                         Assert.IsTrue (a == Math.Min (b, a), "#2");
793                 }
794
795                 [Test]
796                 public void TestDecimalRound ()
797                 {
798                         decimal a = 1.5M;
799                         decimal b = 2.5M;
800
801                         Assert.IsTrue (Math.Round (a) == 2, "#1");
802                         Assert.IsTrue (Math.Round (b) == 2, "#2");
803                         Assert.IsTrue (Decimal.MaxValue == Math.Round (Decimal.MaxValue), "#3");
804                         Assert.IsTrue (Decimal.MinValue == Math.Round (Decimal.MinValue), "#4");
805                 }
806
807                 [Test]
808                 public void TestDecimalRound2 ()
809                 {
810                         decimal a = 3.45M;
811                         decimal b = 3.46M;
812
813                         Assert.AreEqual (3.4M, Math.Round (a, 1), "#1");
814                         Assert.AreEqual (3.5M, Math.Round (b, 1), "#2");
815                 }
816
817                 [Test]
818                 public void TestDoubleRound ()
819                 {
820                         double a = 1.5D;
821                         double b = 2.5D;
822
823                         Assert.AreEqual (2D, Math.Round (a), "#1");
824                         Assert.AreEqual (2D, Math.Round (b), "#2");
825                         Assert.IsTrue (Double.MaxValue == Math.Round (Double.MaxValue), "#3");
826                         Assert.IsTrue (Double.MinValue == Math.Round (Double.MinValue), "#4");
827                 }
828
829                 [Test]
830                 public void TestDoubleTruncate ()
831                 {
832                         double a = 1.2D;
833                         double b = 2.8D;
834                         double c = 0D;
835
836                         Assert.AreEqual (1D, Math.Truncate (a), "#1");
837                         Assert.AreEqual (2D, Math.Truncate (b), "#2");
838
839                         Assert.AreEqual (-1D, Math.Truncate (a * -1D), "#3");
840                         Assert.AreEqual (-2D, Math.Truncate (b * -1D), "#4");
841
842                         Assert.AreEqual (0D, Math.Truncate (c), "#5");
843
844                         Assert.IsTrue (Double.MaxValue == Math.Truncate (Double.MaxValue), "#6");
845                         Assert.IsTrue (Double.MinValue == Math.Truncate (Double.MinValue), "#7");
846                 }
847
848                 [Test]
849                 public void TestDecimalTruncate ()
850                 {
851                         decimal a = 1.2M;
852                         decimal b = 2.8M;
853                         decimal c = 0M;
854
855                         Assert.AreEqual (1M, Math.Truncate (a), "#1");
856                         Assert.AreEqual (2M, Math.Truncate (b), "#2");
857
858                         Assert.AreEqual (-1M, Math.Truncate (a * -1M), "#3");
859                         Assert.AreEqual (-2M, Math.Truncate (b * -1M), "#4");
860
861                         Assert.AreEqual (0M, Math.Truncate (c), "#5");
862
863                         Assert.IsTrue (Decimal.MaxValue == Math.Truncate (Decimal.MaxValue), "#6");
864                         Assert.IsTrue (Decimal.MinValue == Math.Truncate (Decimal.MinValue), "#7");
865                 }
866
867                 [Test]
868                 public void TestDoubleRound2 ()
869                 {
870                         double a = 3.45D;
871                         double b = 3.46D;
872
873                         Assert.AreEqual (3.4D, Math.Round (a, 1), "#1");
874                         Assert.AreEqual (3.5D, Math.Round (b, 1), "#2");
875                         Assert.AreEqual (-0.1, Math.Round (-0.123456789, 1), "#3");
876                 }
877
878                 [Test]
879                 public void TestDoubleRound3 ()
880                 {
881                         Assert.AreEqual (1D, Math.Round (1D, 0, MidpointRounding.ToEven), "#1");
882                         Assert.AreEqual (1D, Math.Round (1D, 0, MidpointRounding.AwayFromZero), "#2");
883
884                         Assert.AreEqual (-1D, Math.Round (-1D, 0, MidpointRounding.ToEven), "#3");
885                         Assert.AreEqual (-1D, Math.Round (-1D, 0, MidpointRounding.AwayFromZero), "#4");
886
887                         Assert.AreEqual (1D, Math.Round (1D, 1, MidpointRounding.ToEven), "#5");
888                         Assert.AreEqual (1D, Math.Round (1D, 1, MidpointRounding.AwayFromZero), "#6");
889
890                         Assert.AreEqual (-1D, Math.Round (-1D, 1, MidpointRounding.ToEven), "#7");
891                         Assert.AreEqual (-1D, Math.Round (-1D, 1, MidpointRounding.AwayFromZero), "#8");
892
893                         Assert.AreEqual (1D, Math.Round (1.2345D, 0, MidpointRounding.ToEven), "#9");
894                         Assert.AreEqual (1D, Math.Round (1.2345D, 0, MidpointRounding.AwayFromZero), "#A");
895
896                         Assert.AreEqual (-1D, Math.Round (-1.2345D, 0, MidpointRounding.ToEven), "#B");
897                         Assert.AreEqual (-1D, Math.Round (-1.2345D, 0, MidpointRounding.AwayFromZero), "#C");
898
899                         Assert.AreEqual (1.2D, Math.Round (1.2345D, 1, MidpointRounding.ToEven), "#D");
900                         Assert.AreEqual (1.2D, Math.Round (1.2345D, 1, MidpointRounding.AwayFromZero), "#E");
901
902                         Assert.AreEqual (-1.2D, Math.Round (-1.2345D, 1, MidpointRounding.ToEven), "#F");
903                         Assert.AreEqual (-1.2D, Math.Round (-1.2345D, 1, MidpointRounding.AwayFromZero), "#10");
904
905                         Assert.AreEqual (1.23D, Math.Round (1.2345D, 2, MidpointRounding.ToEven), "#11");
906                         Assert.AreEqual (1.23D, Math.Round (1.2345D, 2, MidpointRounding.AwayFromZero), "#12");
907
908                         Assert.AreEqual (-1.23D, Math.Round (-1.2345D, 2, MidpointRounding.ToEven), "#13");
909                         Assert.AreEqual (-1.23D, Math.Round (-1.2345D, 2, MidpointRounding.AwayFromZero), "#14");
910
911                         Assert.AreEqual (1.234D, Math.Round (1.2345D, 3, MidpointRounding.ToEven), "#15");
912                         Assert.AreEqual (1.235D, Math.Round (1.2345D, 3, MidpointRounding.AwayFromZero), "#16");
913
914                         Assert.AreEqual (-1.234D, Math.Round (-1.2345D, 3, MidpointRounding.ToEven), "#17");
915                         Assert.AreEqual (-1.235D, Math.Round (-1.2345D, 3, MidpointRounding.AwayFromZero), "#18");
916
917                         Assert.AreEqual (1.2345D, Math.Round (1.2345D, 4, MidpointRounding.ToEven), "#19");
918                         Assert.AreEqual (1.2345D, Math.Round (1.2345D, 4, MidpointRounding.AwayFromZero), "#1A");
919
920                         Assert.AreEqual (-1.2345D, Math.Round (-1.2345D, 4, MidpointRounding.ToEven), "#1B");
921                         Assert.AreEqual (-1.2345D, Math.Round (-1.2345D, 4, MidpointRounding.AwayFromZero), "#1C");
922
923                         Assert.AreEqual (2D, Math.Round (1.5432D, 0, MidpointRounding.ToEven), "#1D");
924                         Assert.AreEqual (2D, Math.Round (1.5432D, 0, MidpointRounding.AwayFromZero), "#1E");
925
926                         Assert.AreEqual (-2D, Math.Round (-1.5432D, 0, MidpointRounding.ToEven), "#1F");
927                         Assert.AreEqual (-2D, Math.Round (-1.5432D, 0, MidpointRounding.AwayFromZero), "#20");
928
929                         Assert.AreEqual (1.5D, Math.Round (1.5432D, 1, MidpointRounding.ToEven), "#21");
930                         Assert.AreEqual (1.5D, Math.Round (1.5432D, 1, MidpointRounding.AwayFromZero), "#22");
931
932                         Assert.AreEqual (-1.5D, Math.Round (-1.5432D, 1, MidpointRounding.ToEven), "#23");
933                         Assert.AreEqual (-1.5D, Math.Round (-1.5432D, 1, MidpointRounding.AwayFromZero), "#24");
934
935                         Assert.AreEqual (1.54D, Math.Round (1.5432D, 2, MidpointRounding.ToEven), "#25");
936                         Assert.AreEqual (1.54D, Math.Round (1.5432D, 2, MidpointRounding.AwayFromZero), "#26");
937
938                         Assert.AreEqual (-1.54D, Math.Round (-1.5432D, 2, MidpointRounding.ToEven), "#27");
939                         Assert.AreEqual (-1.54D, Math.Round (-1.5432D, 2, MidpointRounding.AwayFromZero), "#28");
940
941                         Assert.AreEqual (1.543D, Math.Round (1.5432D, 3, MidpointRounding.ToEven), "#29");
942                         Assert.AreEqual (1.543D, Math.Round (1.5432D, 3, MidpointRounding.AwayFromZero), "#2A");
943
944                         Assert.AreEqual (-1.543D, Math.Round (-1.5432D, 3, MidpointRounding.ToEven), "#2B");
945                         Assert.AreEqual (-1.543D, Math.Round (-1.5432D, 3, MidpointRounding.AwayFromZero), "#2C");
946
947                         Assert.AreEqual (1.5432D, Math.Round (1.5432D, 4, MidpointRounding.ToEven), "#2D");
948                         Assert.AreEqual (1.5432D, Math.Round (1.5432D, 4, MidpointRounding.AwayFromZero), "#2E");
949
950                         Assert.AreEqual (-1.5432D, Math.Round (-1.5432D, 4, MidpointRounding.ToEven), "#2F");
951                         Assert.AreEqual (-1.5432D, Math.Round (-1.5432D, 4, MidpointRounding.AwayFromZero), "#30");
952
953                         Assert.AreEqual (63988D, Math.Round (63987.83593942D, 0, MidpointRounding.ToEven), "#31");
954                         Assert.AreEqual (63988D, Math.Round (63987.83593942D, 0, MidpointRounding.AwayFromZero), "#32");
955
956                         Assert.AreEqual (-63988D, Math.Round (-63987.83593942D, 0, MidpointRounding.ToEven), "#33");
957                         Assert.AreEqual (-63988D, Math.Round (-63987.83593942D, 0, MidpointRounding.AwayFromZero), "#34");
958
959                         Assert.AreEqual (63987.83594D, Math.Round (63987.83593942D, 5, MidpointRounding.ToEven), "#35");
960                         Assert.AreEqual (63987.83594D, Math.Round (63987.83593942D, 5, MidpointRounding.AwayFromZero), "#36");
961
962                         Assert.AreEqual (-63987.83594D, Math.Round (-63987.83593942D, 5, MidpointRounding.ToEven), "#37");
963                         Assert.AreEqual (-63987.83594D, Math.Round (-63987.83593942D, 5, MidpointRounding.AwayFromZero), "#38");
964
965                         Assert.AreEqual (63987.83593942D, Math.Round (63987.83593942D, 8, MidpointRounding.ToEven), "#39");
966                         Assert.AreEqual (63987.83593942D, Math.Round (63987.83593942D, 8, MidpointRounding.AwayFromZero), "#3A");
967
968                         Assert.AreEqual (-63987.83593942D, Math.Round (-63987.83593942D, 8, MidpointRounding.ToEven), "#3B");
969                         Assert.AreEqual (-63987.83593942D, Math.Round (-63987.83593942D, 8, MidpointRounding.AwayFromZero), "#3C");
970
971                         Assert.AreEqual (1, Math.Round (0.5, 0, MidpointRounding.AwayFromZero));
972                 }
973                 
974                 [Test]
975                 public void TestDecimalSign ()
976                 {
977                         decimal a = -5M;
978                         decimal b = 5M;
979
980                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
981                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
982                         Assert.IsTrue (Math.Sign (0M) == 0, "#3");
983                 }
984
985                 [Test]
986                 public void TestDoubleSign ()
987                 {
988                         double a = -5D;
989                         double b = 5D;
990
991                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
992                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
993                         Assert.IsTrue (Math.Sign (0D) == 0, "#3");
994                 }
995
996                 [Test]
997                 public void TestFloatSign ()
998                 {
999                         float a = -5F;
1000                         float b = 5F;
1001
1002                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
1003                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
1004                         Assert.IsTrue (Math.Sign (0F) == 0, "#3");
1005                 }
1006
1007                 [Test]
1008                 public void TestIntSign ()
1009                 {
1010                         int a = -5;
1011                         int b = 5;
1012
1013                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
1014                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
1015                         Assert.IsTrue (Math.Sign (0) == 0, "#3");
1016                 }
1017
1018                 [Test]
1019                 public void TestLongSign ()
1020                 {
1021                         long a = -5L;
1022                         long b = 5L;
1023
1024                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
1025                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
1026                         Assert.IsTrue (Math.Sign (0L) == 0, "#3");
1027                 }
1028
1029                 [Test]
1030                 public void TestSbyteSign ()
1031                 {
1032                         sbyte a = -5;
1033                         sbyte b = 5;
1034
1035                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
1036                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
1037                         Assert.IsTrue (Math.Sign (0) == 0, "#3");
1038                 }
1039
1040                 [Test]
1041                 public void TestShortSign ()
1042                 {
1043                         short a = -5;
1044                         short b = 5;
1045
1046                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
1047                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
1048                         Assert.IsTrue (Math.Sign (0) == 0, "#3");
1049                 }
1050         }
1051 }