[tests] Different CPUs have different precision
[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                         double precision;
483                         int iTest = 1;
484 #if MONODROID
485                         // It fails on Nexus 9 with
486                         //
487                         //   1.3636094460602122 != 1.3636094460602119
488                         //
489                         // when using double_epsilon. Precision differs between different ARM CPUs, so we
490                         // will just use a more conservative value
491                         precision = 0.000001;
492 #else
493                         precision = double_epsilon;
494 #endif
495                         try {
496                                 double a = Math.Pow (y, x);
497                                 double b = 1.363609446060212;
498
499                                 Assert.IsTrue ((Math.Abs (a - b) <= precision), a.ToString ("G99") + " != " + b.ToString ("G99"));
500                                 iTest++;
501                                 Assert.IsTrue (double.IsNaN (Math.Pow (y, double.NaN)));
502                                 iTest++;
503                                 Assert.IsTrue (double.IsNaN (Math.Pow (double.NaN, x)));
504                                 iTest++;
505                                 Assert.IsTrue (double.IsNegativeInfinity (Math.Pow (double.NegativeInfinity, 1)),
506                                         "Math.Pow(double.NegativeInfinity, 1) should be NegativeInfinity");
507                                 iTest++;
508                                 Assert.IsTrue (double.IsPositiveInfinity (Math.Pow (double.NegativeInfinity, 2)),
509                                         "Math.Pow(double.NegativeInfinity, 2) should be PositiveInfinity");
510
511                                 // MS docs say this should be 0
512                                 iTest++;
513                                 Assert.IsTrue (double.IsNaN (Math.Pow (1, double.NegativeInfinity)));
514                                 iTest++;
515                                 Assert.AreEqual ((double) 0, Math.Pow (double.PositiveInfinity, double.NegativeInfinity),
516                                         "Math.Pow(double.PositiveInfinity, double.NegativeInfinity)");
517                                 iTest++;
518                                 Assert.IsTrue (double.IsPositiveInfinity (Math.Pow (double.PositiveInfinity, 1)),
519                                         "Math.Pow(double.PositiveInfinity, 1) should be PositiveInfinity");
520
521                                 // MS docs say this should be PositiveInfinity
522                                 iTest++;
523                                 Assert.IsTrue (double.IsNaN (Math.Pow (1, double.PositiveInfinity)),
524                                         "Math.Pow(1, double.PositiveInfinity) should be NaN");
525
526                                 iTest++;
527                                 Assert.IsTrue (Double.IsNaN (Math.Pow (1, Double.NaN)),
528                                         "Math.Pow(1, NaN) should be NaN");
529                                 iTest++;
530                                 Assert.IsTrue (Double.IsNaN (Math.Pow (Double.NaN, 0)),
531                                         "Math.Pow(NaN, 0) should be NaN");
532                                 iTest++;
533                                 Assert.IsTrue (1.0 == Math.Pow (-1, Double.MaxValue),
534                                         "Math.Pow(-1, MaxValue) should be 1.0");
535
536                                 iTest++;
537                                 Assert.IsTrue (1.0 == Math.Pow (-1, Double.MinValue),
538                                         "Math.Pow(-1, MinValue) should be 1.0");
539
540                                 iTest++;
541                                 Assert.IsTrue (Double.IsPositiveInfinity (Math.Pow (Double.MinValue,
542                                         Double.MaxValue)), "Math.Pow(MinValue, MaxValue) should be +Infinity");
543
544                                 iTest++;
545                                 Assert.IsTrue (0.0 == Math.Pow (Double.MinValue, Double.MinValue),
546                                         "Math.Pow(MinValue, MinValue) should be 0.0");
547
548                                 //
549                                 // The following bugs were present because we tried to outsmart the C Pow:
550                                 //
551                                 double infinity = Double.PositiveInfinity;
552                                 Assert.IsTrue (Math.Pow (0.5, infinity) == 0.0,
553                                         "Math.Pow(0.5, Infinity) == 0.0");
554                                 Assert.IsTrue (Math.Pow (0.5, -infinity) == infinity,
555                                         "Math.Pow(0.5, -Infinity) == Infinity");
556                                 Assert.IsTrue (Math.Pow (2, infinity) == infinity,
557                                         "Math.Pow(2, Infinity) == Infinity");
558                                 Assert.IsTrue (Math.Pow (2, -infinity) == 0.0,
559                                         "Math.Pow(2, -Infinity) == 0");
560                                 Assert.IsTrue (Math.Pow (infinity, 0) == 1.0,
561                                         "Math.Pow(Infinity, 0) == 1.0");
562                                 Assert.IsTrue (Math.Pow (-infinity, 0) == 1.0,
563                                         "Math.Pow(-Infinity, 0) == 1.0");
564                         } catch (Exception e) {
565                                 Assert.Fail ("Unexpected exception at iTest=" + iTest + ". e=" + e);
566                         }
567                 }
568
569                 [Test]
570                 public void TestByteMax ()
571                 {
572                         byte a = 1;
573                         byte b = 2;
574
575                         Assert.IsTrue (b == Math.Max (a, b), "#1");
576                         Assert.IsTrue (b == Math.Max (b, a), "#2");
577                 }
578
579                 [Test]
580                 public void TestDecimalMax ()
581                 {
582                         decimal a = 1.5M;
583                         decimal b = 2.5M;
584
585                         Assert.IsTrue (b == Math.Max (a, b), "#1");
586                         Assert.IsTrue (b == Math.Max (b, a), "#2");
587                 }
588
589                 [Test]
590                 public void TestDoubleMax ()
591                 {
592                         double a = 1.5D;
593                         double b = 2.5D;
594
595                         Assert.IsTrue (b == Math.Max (a, b), "#1");
596                         Assert.IsTrue (b == Math.Max (b, a), "#2");
597
598                         Assert.IsTrue (Double.IsNaN (Math.Max (Double.NaN, Double.NaN)), "#3");
599                         Assert.IsTrue (Double.IsNaN (Math.Max (Double.NaN, a)), "#4");
600                         Assert.IsTrue (Double.IsNaN (Math.Max (b, Double.NaN)), "#5");
601                 }
602
603                 [Test]
604                 public void TestFloatMax ()
605                 {
606                         float a = 1.5F;
607                         float b = 2.5F;
608
609                         Assert.IsTrue (b == Math.Max (a, b), "#1");
610                         Assert.IsTrue (b == Math.Max (b, a), "#2");
611                         Assert.IsTrue (Single.IsNaN (Math.Max (Single.NaN, Single.NaN)), "#3");
612                         Assert.IsTrue (Single.IsNaN (Math.Max (Single.NaN, a)), "#4");
613                         Assert.IsTrue (Single.IsNaN (Math.Max (b, Single.NaN)), "#5");
614                 }
615
616                 [Test]
617                 public void TestIntMax ()
618                 {
619                         int a = 1;
620                         int b = 2;
621                         int c = 100;
622                         int d = -2147483647;
623
624                         Assert.AreEqual (b, Math.Max (a, b), "#1");
625                         Assert.AreEqual (b, Math.Max (b, a), "#2");
626                         Assert.AreEqual (c, Math.Max (c, d), "#3");
627                         Assert.AreEqual (c, Math.Max (d, c), "#4");
628                 }
629
630                 [Test]
631                 public void TestLongMax ()
632                 {
633                         long a = 1L;
634                         long b = 2L;
635
636                         Assert.IsTrue (b == Math.Max (a, b), "#1");
637                         Assert.IsTrue (b == Math.Max (b, a), "#2");
638                 }
639
640                 [Test]
641                 public void TestSbyteMax ()
642                 {
643                         sbyte a = 1;
644                         sbyte b = 2;
645
646                         Assert.IsTrue (b == Math.Max (a, b), "#1");
647                         Assert.IsTrue (b == Math.Max (b, a), "#2");
648                 }
649
650                 [Test]
651                 public void TestShortMax ()
652                 {
653                         short a = 1;
654                         short b = 2;
655
656                         Assert.IsTrue (b == Math.Max (a, b), "#1");
657                         Assert.IsTrue (b == Math.Max (b, a), "#2");
658                 }
659
660                 [Test]
661                 public void TestUintMax ()
662                 {
663                         uint a = 1U;
664                         uint b = 2U;
665
666                         Assert.IsTrue (b == Math.Max (a, b), "#1");
667                         Assert.IsTrue (b == Math.Max (b, a), "#2");
668                 }
669
670                 [Test]
671                 public void TestUlongMax ()
672                 {
673                         ulong a = 1UL;
674                         ulong b = 2UL;
675
676                         Assert.IsTrue (b == Math.Max (a, b), "#1");
677                         Assert.IsTrue (b == Math.Max (b, a), "#2");
678                 }
679
680                 [Test]
681                 public void TestUshortMax ()
682                 {
683                         ushort a = 1;
684                         ushort b = 2;
685
686                         Assert.IsTrue (b == Math.Max (a, b), "#1");
687                         Assert.IsTrue (b == Math.Max (b, a), "#2");
688                 }
689
690                 [Test]
691                 public void TestByteMin ()
692                 {
693                         byte a = 1;
694                         byte b = 2;
695
696                         Assert.IsTrue (a == Math.Min (a, b), "#1");
697                         Assert.IsTrue (a == Math.Min (b, a), "#2");
698                 }
699
700                 [Test]
701                 public void TestDecimalMin ()
702                 {
703                         decimal a = 1.5M;
704                         decimal b = 2.5M;
705
706                         Assert.IsTrue (a == Math.Min (a, b), "#1");
707                         Assert.IsTrue (a == Math.Min (b, a), "#2");
708                 }
709
710                 [Test]
711                 public void TestDoubleMin ()
712                 {
713                         double a = 1.5D;
714                         double b = 2.5D;
715
716                         Assert.IsTrue (a == Math.Min (a, b), "#1");
717                         Assert.IsTrue (a == Math.Min (b, a), "#2");
718                         Assert.IsTrue (Double.IsNaN (Math.Min (Double.NaN, Double.NaN)), "#3");
719                         Assert.IsTrue (Double.IsNaN (Math.Min (Double.NaN, a)), "#4");
720                         Assert.IsTrue (Double.IsNaN (Math.Min (b, Double.NaN)), "#5");
721                 }
722
723                 [Test]
724                 public void TestFloatMin ()
725                 {
726                         float a = 1.5F;
727                         float b = 2.5F;
728
729                         Assert.IsTrue (a == Math.Min (a, b), "#1");
730                         Assert.IsTrue (a == Math.Min (b, a), "#2");
731                         Assert.IsTrue (Single.IsNaN (Math.Min (Single.NaN, Single.NaN)), "#3");
732                         Assert.IsTrue (Single.IsNaN (Math.Min (Single.NaN, a)), "#4");
733                         Assert.IsTrue (Single.IsNaN (Math.Min (b, Single.NaN)), "#5");
734                 }
735
736                 [Test]
737                 public void TestIntMin ()
738                 {
739                         int a = 1;
740                         int b = 2;
741
742                         Assert.IsTrue (a == Math.Min (a, b), "#1");
743                         Assert.IsTrue (a == Math.Min (b, a), "#2");
744                 }
745
746                 [Test]
747                 public void TestLongMin ()
748                 {
749                         long a = 1L;
750                         long b = 2L;
751
752                         Assert.IsTrue (a == Math.Min (a, b), "#1");
753                         Assert.IsTrue (a == Math.Min (b, a), "#2");
754                 }
755
756                 [Test]
757                 public void TestSbyteMin ()
758                 {
759                         sbyte a = 1;
760                         sbyte b = 2;
761
762                         Assert.IsTrue (a == Math.Min (a, b), "#1");
763                         Assert.IsTrue (a == Math.Min (b, a), "#2");
764                 }
765
766                 [Test]
767                 public void TestShortMin ()
768                 {
769                         short a = 1;
770                         short b = 2;
771
772                         Assert.IsTrue (a == Math.Min (a, b), "#1");
773                         Assert.IsTrue (a == Math.Min (b, a), "#2");
774                 }
775
776                 [Test]
777                 public void TestUintMin ()
778                 {
779                         uint a = 1U;
780                         uint b = 2U;
781
782                         Assert.IsTrue (a == Math.Min (a, b), "#1");
783                         Assert.IsTrue (a == Math.Min (b, a), "#2");
784                 }
785
786                 [Test]
787                 public void TestUlongMin ()
788                 {
789                         ulong a = 1UL;
790                         ulong b = 2UL;
791
792                         Assert.IsTrue (a == Math.Min (a, b), "#1");
793                         Assert.IsTrue (a == Math.Min (b, a), "#2");
794                 }
795
796                 [Test]
797                 public void TestUshortMin ()
798                 {
799                         ushort a = 1;
800                         ushort b = 2;
801
802                         Assert.IsTrue (a == Math.Min (a, b), "#1");
803                         Assert.IsTrue (a == Math.Min (b, a), "#2");
804                 }
805
806                 [Test]
807                 public void TestDecimalRound ()
808                 {
809                         decimal a = 1.5M;
810                         decimal b = 2.5M;
811
812                         Assert.IsTrue (Math.Round (a) == 2, "#1");
813                         Assert.IsTrue (Math.Round (b) == 2, "#2");
814                         Assert.IsTrue (Decimal.MaxValue == Math.Round (Decimal.MaxValue), "#3");
815                         Assert.IsTrue (Decimal.MinValue == Math.Round (Decimal.MinValue), "#4");
816                 }
817
818                 [Test]
819                 public void TestDecimalRound2 ()
820                 {
821                         decimal a = 3.45M;
822                         decimal b = 3.46M;
823
824                         Assert.AreEqual (3.4M, Math.Round (a, 1), "#1");
825                         Assert.AreEqual (3.5M, Math.Round (b, 1), "#2");
826                 }
827
828                 [Test]
829                 public void TestDoubleRound ()
830                 {
831                         double a = 1.5D;
832                         double b = 2.5D;
833
834                         Assert.AreEqual (2D, Math.Round (a), "#1");
835                         Assert.AreEqual (2D, Math.Round (b), "#2");
836                         Assert.IsTrue (Double.MaxValue == Math.Round (Double.MaxValue), "#3");
837                         Assert.IsTrue (Double.MinValue == Math.Round (Double.MinValue), "#4");
838                 }
839
840                 [Test]
841                 public void TestDoubleTruncate ()
842                 {
843                         double a = 1.2D;
844                         double b = 2.8D;
845                         double c = 0D;
846
847                         Assert.AreEqual (1D, Math.Truncate (a), "#1");
848                         Assert.AreEqual (2D, Math.Truncate (b), "#2");
849
850                         Assert.AreEqual (-1D, Math.Truncate (a * -1D), "#3");
851                         Assert.AreEqual (-2D, Math.Truncate (b * -1D), "#4");
852
853                         Assert.AreEqual (0D, Math.Truncate (c), "#5");
854
855                         Assert.IsTrue (Double.MaxValue == Math.Truncate (Double.MaxValue), "#6");
856                         Assert.IsTrue (Double.MinValue == Math.Truncate (Double.MinValue), "#7");
857                 }
858
859                 [Test]
860                 public void TestDecimalTruncate ()
861                 {
862                         decimal a = 1.2M;
863                         decimal b = 2.8M;
864                         decimal c = 0M;
865
866                         Assert.AreEqual (1M, Math.Truncate (a), "#1");
867                         Assert.AreEqual (2M, Math.Truncate (b), "#2");
868
869                         Assert.AreEqual (-1M, Math.Truncate (a * -1M), "#3");
870                         Assert.AreEqual (-2M, Math.Truncate (b * -1M), "#4");
871
872                         Assert.AreEqual (0M, Math.Truncate (c), "#5");
873
874                         Assert.IsTrue (Decimal.MaxValue == Math.Truncate (Decimal.MaxValue), "#6");
875                         Assert.IsTrue (Decimal.MinValue == Math.Truncate (Decimal.MinValue), "#7");
876                 }
877
878                 [Test]
879                 public void TestDoubleRound2 ()
880                 {
881                         double a = 3.45D;
882                         double b = 3.46D;
883
884                         Assert.AreEqual (3.4D, Math.Round (a, 1), "#1");
885                         Assert.AreEqual (3.5D, Math.Round (b, 1), "#2");
886                         Assert.AreEqual (-0.1, Math.Round (-0.123456789, 1), "#3");
887                 }
888
889                 [Test]
890                 public void TestDoubleRound3 ()
891                 {
892                         Assert.AreEqual (1D, Math.Round (1D, 0, MidpointRounding.ToEven), "#1");
893                         Assert.AreEqual (1D, Math.Round (1D, 0, MidpointRounding.AwayFromZero), "#2");
894
895                         Assert.AreEqual (-1D, Math.Round (-1D, 0, MidpointRounding.ToEven), "#3");
896                         Assert.AreEqual (-1D, Math.Round (-1D, 0, MidpointRounding.AwayFromZero), "#4");
897
898                         Assert.AreEqual (1D, Math.Round (1D, 1, MidpointRounding.ToEven), "#5");
899                         Assert.AreEqual (1D, Math.Round (1D, 1, MidpointRounding.AwayFromZero), "#6");
900
901                         Assert.AreEqual (-1D, Math.Round (-1D, 1, MidpointRounding.ToEven), "#7");
902                         Assert.AreEqual (-1D, Math.Round (-1D, 1, MidpointRounding.AwayFromZero), "#8");
903
904                         Assert.AreEqual (1D, Math.Round (1.2345D, 0, MidpointRounding.ToEven), "#9");
905                         Assert.AreEqual (1D, Math.Round (1.2345D, 0, MidpointRounding.AwayFromZero), "#A");
906
907                         Assert.AreEqual (-1D, Math.Round (-1.2345D, 0, MidpointRounding.ToEven), "#B");
908                         Assert.AreEqual (-1D, Math.Round (-1.2345D, 0, MidpointRounding.AwayFromZero), "#C");
909
910                         Assert.AreEqual (1.2D, Math.Round (1.2345D, 1, MidpointRounding.ToEven), "#D");
911                         Assert.AreEqual (1.2D, Math.Round (1.2345D, 1, MidpointRounding.AwayFromZero), "#E");
912
913                         Assert.AreEqual (-1.2D, Math.Round (-1.2345D, 1, MidpointRounding.ToEven), "#F");
914                         Assert.AreEqual (-1.2D, Math.Round (-1.2345D, 1, MidpointRounding.AwayFromZero), "#10");
915
916                         Assert.AreEqual (1.23D, Math.Round (1.2345D, 2, MidpointRounding.ToEven), "#11");
917                         Assert.AreEqual (1.23D, Math.Round (1.2345D, 2, MidpointRounding.AwayFromZero), "#12");
918
919                         Assert.AreEqual (-1.23D, Math.Round (-1.2345D, 2, MidpointRounding.ToEven), "#13");
920                         Assert.AreEqual (-1.23D, Math.Round (-1.2345D, 2, MidpointRounding.AwayFromZero), "#14");
921
922                         Assert.AreEqual (1.234D, Math.Round (1.2345D, 3, MidpointRounding.ToEven), "#15");
923                         Assert.AreEqual (1.235D, Math.Round (1.2345D, 3, MidpointRounding.AwayFromZero), "#16");
924
925                         Assert.AreEqual (-1.234D, Math.Round (-1.2345D, 3, MidpointRounding.ToEven), "#17");
926                         Assert.AreEqual (-1.235D, Math.Round (-1.2345D, 3, MidpointRounding.AwayFromZero), "#18");
927
928                         Assert.AreEqual (1.2345D, Math.Round (1.2345D, 4, MidpointRounding.ToEven), "#19");
929                         Assert.AreEqual (1.2345D, Math.Round (1.2345D, 4, MidpointRounding.AwayFromZero), "#1A");
930
931                         Assert.AreEqual (-1.2345D, Math.Round (-1.2345D, 4, MidpointRounding.ToEven), "#1B");
932                         Assert.AreEqual (-1.2345D, Math.Round (-1.2345D, 4, MidpointRounding.AwayFromZero), "#1C");
933
934                         Assert.AreEqual (2D, Math.Round (1.5432D, 0, MidpointRounding.ToEven), "#1D");
935                         Assert.AreEqual (2D, Math.Round (1.5432D, 0, MidpointRounding.AwayFromZero), "#1E");
936
937                         Assert.AreEqual (-2D, Math.Round (-1.5432D, 0, MidpointRounding.ToEven), "#1F");
938                         Assert.AreEqual (-2D, Math.Round (-1.5432D, 0, MidpointRounding.AwayFromZero), "#20");
939
940                         Assert.AreEqual (1.5D, Math.Round (1.5432D, 1, MidpointRounding.ToEven), "#21");
941                         Assert.AreEqual (1.5D, Math.Round (1.5432D, 1, MidpointRounding.AwayFromZero), "#22");
942
943                         Assert.AreEqual (-1.5D, Math.Round (-1.5432D, 1, MidpointRounding.ToEven), "#23");
944                         Assert.AreEqual (-1.5D, Math.Round (-1.5432D, 1, MidpointRounding.AwayFromZero), "#24");
945
946                         Assert.AreEqual (1.54D, Math.Round (1.5432D, 2, MidpointRounding.ToEven), "#25");
947                         Assert.AreEqual (1.54D, Math.Round (1.5432D, 2, MidpointRounding.AwayFromZero), "#26");
948
949                         Assert.AreEqual (-1.54D, Math.Round (-1.5432D, 2, MidpointRounding.ToEven), "#27");
950                         Assert.AreEqual (-1.54D, Math.Round (-1.5432D, 2, MidpointRounding.AwayFromZero), "#28");
951
952                         Assert.AreEqual (1.543D, Math.Round (1.5432D, 3, MidpointRounding.ToEven), "#29");
953                         Assert.AreEqual (1.543D, Math.Round (1.5432D, 3, MidpointRounding.AwayFromZero), "#2A");
954
955                         Assert.AreEqual (-1.543D, Math.Round (-1.5432D, 3, MidpointRounding.ToEven), "#2B");
956                         Assert.AreEqual (-1.543D, Math.Round (-1.5432D, 3, MidpointRounding.AwayFromZero), "#2C");
957
958                         Assert.AreEqual (1.5432D, Math.Round (1.5432D, 4, MidpointRounding.ToEven), "#2D");
959                         Assert.AreEqual (1.5432D, Math.Round (1.5432D, 4, MidpointRounding.AwayFromZero), "#2E");
960
961                         Assert.AreEqual (-1.5432D, Math.Round (-1.5432D, 4, MidpointRounding.ToEven), "#2F");
962                         Assert.AreEqual (-1.5432D, Math.Round (-1.5432D, 4, MidpointRounding.AwayFromZero), "#30");
963
964                         Assert.AreEqual (63988D, Math.Round (63987.83593942D, 0, MidpointRounding.ToEven), "#31");
965                         Assert.AreEqual (63988D, Math.Round (63987.83593942D, 0, MidpointRounding.AwayFromZero), "#32");
966
967                         Assert.AreEqual (-63988D, Math.Round (-63987.83593942D, 0, MidpointRounding.ToEven), "#33");
968                         Assert.AreEqual (-63988D, Math.Round (-63987.83593942D, 0, MidpointRounding.AwayFromZero), "#34");
969
970                         Assert.AreEqual (63987.83594D, Math.Round (63987.83593942D, 5, MidpointRounding.ToEven), "#35");
971                         Assert.AreEqual (63987.83594D, Math.Round (63987.83593942D, 5, MidpointRounding.AwayFromZero), "#36");
972
973                         Assert.AreEqual (-63987.83594D, Math.Round (-63987.83593942D, 5, MidpointRounding.ToEven), "#37");
974                         Assert.AreEqual (-63987.83594D, Math.Round (-63987.83593942D, 5, MidpointRounding.AwayFromZero), "#38");
975
976                         Assert.AreEqual (63987.83593942D, Math.Round (63987.83593942D, 8, MidpointRounding.ToEven), "#39");
977                         Assert.AreEqual (63987.83593942D, Math.Round (63987.83593942D, 8, MidpointRounding.AwayFromZero), "#3A");
978
979                         Assert.AreEqual (-63987.83593942D, Math.Round (-63987.83593942D, 8, MidpointRounding.ToEven), "#3B");
980                         Assert.AreEqual (-63987.83593942D, Math.Round (-63987.83593942D, 8, MidpointRounding.AwayFromZero), "#3C");
981
982                         Assert.AreEqual (1, Math.Round (0.5, 0, MidpointRounding.AwayFromZero));
983                 }
984                 
985                 [Test]
986                 public void TestDecimalSign ()
987                 {
988                         decimal a = -5M;
989                         decimal b = 5M;
990
991                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
992                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
993                         Assert.IsTrue (Math.Sign (0M) == 0, "#3");
994                 }
995
996                 [Test]
997                 public void TestDoubleSign ()
998                 {
999                         double a = -5D;
1000                         double b = 5D;
1001
1002                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
1003                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
1004                         Assert.IsTrue (Math.Sign (0D) == 0, "#3");
1005                 }
1006
1007                 [Test]
1008                 public void TestFloatSign ()
1009                 {
1010                         float a = -5F;
1011                         float b = 5F;
1012
1013                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
1014                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
1015                         Assert.IsTrue (Math.Sign (0F) == 0, "#3");
1016                 }
1017
1018                 [Test]
1019                 public void TestIntSign ()
1020                 {
1021                         int a = -5;
1022                         int b = 5;
1023
1024                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
1025                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
1026                         Assert.IsTrue (Math.Sign (0) == 0, "#3");
1027                 }
1028
1029                 [Test]
1030                 public void TestLongSign ()
1031                 {
1032                         long a = -5L;
1033                         long b = 5L;
1034
1035                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
1036                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
1037                         Assert.IsTrue (Math.Sign (0L) == 0, "#3");
1038                 }
1039
1040                 [Test]
1041                 public void TestSbyteSign ()
1042                 {
1043                         sbyte a = -5;
1044                         sbyte 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                 [Test]
1052                 public void TestShortSign ()
1053                 {
1054                         short a = -5;
1055                         short b = 5;
1056
1057                         Assert.IsTrue (Math.Sign (a) == -1, "#1");
1058                         Assert.IsTrue (Math.Sign (b) == 1, "#2");
1059                         Assert.IsTrue (Math.Sign (0) == 0, "#3");
1060                 }
1061         }
1062 }