Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/HeuristicLab.Tests/HeuristicLab.Problems.DataAnalysis-3.4/IntervalTest.cs @ 16407

Last change on this file since 16407 was 16407, checked in by chaider, 5 years ago

#2966: Merged branch changes into trunk.
File size: 6.1 KB
RevLine 
[16407]1using System;
2using HeuristicLab.Problems.DataAnalysis;
3using Microsoft.VisualStudio.TestTools.UnitTesting;
4
5namespace HeuristicLab.Problems.DataAnalysis.Tests {
6  [TestClass]
7  public class IntervalTest {
8    private readonly Interval a = new Interval(-1, 1);
9    private readonly Interval b = new Interval(-2, 2);
10    private readonly Interval c = new Interval(0, 3);
11    private readonly Interval d = new Interval(1, 3);
12    private readonly Interval e = new Interval(4, 6);
13
14    [TestMethod]
15    [TestCategory("Problems.DataAnalysis")]
16    [TestProperty("Time", "short")]
17    public void TestIntervalAddOperation() {
18      //add        [x1,x2] + [y1,y2] = [x1 + y1,x2 + y2]
19
20      // [-1,1] + [-2,2] = [-3,3]
21      Assert.AreEqual(Interval.Add(a, b), new Interval(-3, 3));
22      //([-1, 1] + [-2, 2]) + [0, 3] = [-3, 6]
23      Assert.AreEqual(Interval.Add(Interval.Add(a, b), c), new Interval(-3, 6));
24      //([-1, 1] + [0, 3]) + [-2, 2] = [-3, 6]
25      Assert.AreEqual(Interval.Add(Interval.Add(a, c), b), new Interval(-3, 6));
26    }
27
28    [TestMethod]
29    [TestCategory("Problems.DataAnalysis")]
30    [TestProperty("Time", "short")]
31    public void TestIntervalSubOperation() {
32      //subtract   [x1,x2] − [y1,y2] = [x1 − y2,x2 − y1]
33
34      //[-1, 1] - [-2, 2] = [-3, 3]
35      Assert.AreEqual<Interval>(Interval.Subtract(a, b), new Interval(-3, 3));
36      //([-1, 1] - [-2, 2]) - [0, 3] = [-6, 3]
37      Assert.AreEqual<Interval>(Interval.Subtract(Interval.Subtract(a, b), c), new Interval(-6, 3));
38      //([-1, 1] - [0, 3]) - [-2, 2] = [-6, 3]
39      Assert.AreEqual<Interval>(Interval.Subtract(Interval.Subtract(a, c), b), new Interval(-6, 3));
40    }
41
42    [TestMethod]
43    [TestCategory("Problems.DataAnalysis")]
44    [TestProperty("Time", "short")]
45    public void TestIntervalMutlipyOperation() {
46      //multiply   [x1,x2] * [y1,y2] = [min(x1*y1,x1*y2,x2*y1,x2*y2),max(x1*y1,x1*y2,x2*y1,x2*y2)]
47
48      //[-1, 1] * [-2, 2] = [-2, 2]
49      Assert.AreEqual<Interval>(Interval.Multiply(a, b), new Interval(-2, 2));
50      //([-1, 1] * [-2, 2]) * [0, 3] = [-6, 6]
51      Assert.AreEqual<Interval>(Interval.Multiply(Interval.Multiply(a, b), c), new Interval(-6, 6));
52      //([-1, 1] * [0, 3]) * [-2, 2] = [-6, 6]
53      Assert.AreEqual<Interval>(Interval.Multiply(Interval.Multiply(a, c), b), new Interval(-6, 6));
54    }
55
56    [TestMethod]
57    [TestCategory("Problems.DataAnalysis")]
58    [TestProperty("Time", "short")]
59    public void TestIntervalDivideOperation() {
60      //divide  [x1, x2] / [y1, y2] = [x1, x2] * (1/[y1, y2]), where 1 / [y1,y2] = [1 / y2,1 / y1] if 0 not in [y_1, y_2].
61
62      //[4, 6] / [1, 3] = [4/3, 6]
63      Assert.AreEqual<Interval>(Interval.Divide(e, d), new Interval(4.0 / 3.0, 6));
64      //([4, 6] / [1, 3]) / [1, 3] = [4/9, 6]
65      Assert.AreEqual<Interval>(Interval.Divide(Interval.Divide(e, d), d), new Interval(4.0 / 9.0, 6));
66      //[4, 6] / [0, 3] = [4/3, +Inf]
67      Assert.AreEqual<Interval>(Interval.Divide(e, c), new Interval(4.0 / 3.0, double.PositiveInfinity));
68      //[-1, 1] / [0, 3] = [+Inf, -Inf]
69      Assert.AreEqual<Interval>(Interval.Divide(a, c), new Interval(double.NegativeInfinity, double.PositiveInfinity));
70      //Devision by 0 ==> IsInfiniteOrUndefined == true
71      Assert.IsTrue(Interval.Divide(e, c).IsInfiniteOrUndefined);
72      //Devision by 0 ==> IsInfiniteOrUndefined == true
73      Assert.IsTrue(Interval.Divide(a, c).IsInfiniteOrUndefined);
74      Assert.AreEqual<Interval>(Interval.Divide(d, b), new Interval(double.NegativeInfinity, double.PositiveInfinity));
75    }
76
77    [TestMethod]
78    [TestCategory("Problems.DataAnalysis")]
79    [TestProperty("Time", "short")]
80    public void TestIntervalSineOperator() {
81      //sine depends on interval
82      //sin([0, 2*pi]) = [-1, 1]
83      Assert.AreEqual<Interval>(Interval.Sine(new Interval(0, 2 * Math.PI)), new Interval(-1, 1));
84      //sin([-pi/2, pi/2]) = [sin(-pi/2), sin(pi/2)]
85      Assert.AreEqual<Interval>(Interval.Sine(new Interval(-1 * Math.PI / 2, Math.PI / 2)), new Interval(-1, 1));
86      //sin([0, pi/2]) = [sin(0), sin(pi/2)]
87      Assert.AreEqual<Interval>(Interval.Sine(new Interval(0, Math.PI / 2)), new Interval(0, 1));
88      //sin([pi, 3*pi/2]) = [sin(pi), sin(3*pi/2)]
89      Assert.AreEqual<Interval>(Interval.Sine(new Interval(Math.PI, 3 * Math.PI / 2)), new Interval(-1, 0));
90      Assert.AreEqual<Interval>(Interval.Sine(new Interval(1, 2)), new Interval(Math.Min(Math.Sin(1), Math.Sin(2)), 1));
91      Assert.AreEqual<Interval>(Interval.Sine(new Interval(1, 3)), new Interval(Math.Min(Math.Sin(1), Math.Sin(3)), 1));
92      Assert.AreEqual<Interval>(Interval.Sine(new Interval(Math.PI, 5 * Math.PI / 2)), new Interval(-1, 1));
93    }
94
95    [TestMethod]
96    [TestCategory("Problems.DataAnalysis")]
97    [TestProperty("Time", "short")]
98    public void TestIntervalCosineOperator() {
99      //Cosine uses sine Interval.Sine(Interval.Subtract(a, new Interval(Math.PI / 2, Math.PI / 2)));
100      Assert.AreEqual<Interval>(Interval.Cosine(new Interval(0, 2 * Math.PI)), new Interval(-1, 1));
101      Assert.AreEqual<Interval>(new Interval(-1, 1), Interval.Cosine(new Interval(Math.PI, 4 * Math.PI / 2)));
102    }
103
104    [TestMethod]
105    [TestCategory("Problems.DataAnalysis")]
106    [TestProperty("Time", "short")]
107    public void TestIntervalLogOperator() {
108      //Log([3, 5]) = [log(3), log(5)]
109      Assert.AreEqual<Interval>(new Interval(Math.Log(3), Math.Log(5)), Interval.Logarithm(new Interval(3, 5)));
110      //Log([0.5, 1]) = [log(0.5), log(1)]
111      Assert.AreEqual<Interval>(new Interval(Math.Log(0.5), 0), Interval.Logarithm(new Interval(0.5, 1)));
112      //Log([-1, 5]) = [NaN, log(5)]
113      var result = Interval.Logarithm(new Interval(-1, 5));
114      Assert.AreEqual<Interval>(new Interval(double.NaN, Math.Log(5)),result);
115      Assert.IsTrue(result.IsInfiniteOrUndefined);
116    }
117
118
119    [TestMethod]
120    [TestCategory("Problems.DataAnalysis")]
121    [TestProperty("Time", "short")]
122    public void TestIntervalExpOperator() {
123      //Exp([0, 1]) = [exp(0), exp(1)]
124      Assert.AreEqual<Interval>(new Interval(1, Math.Exp(1)), Interval.Exponential(new Interval(0, 1)));
125    }
126  }
127}
Note: See TracBrowser for help on using the repository browser.