Changeset 16682 for branches/2994-AutoDiffForIntervals/Tests/AutoDiffTest.cs

Timestamp:

03/13/19 23:55:38 (5 years ago)

Author:

gkronber

Message:

#2994: worked on auto diff for intervals and vectors

File:

• branches/2994-AutoDiffForIntervals/Tests/AutoDiffTest.cs (modified) (4 diffs)

branches/2994-AutoDiffForIntervals/Tests/AutoDiffTest.cs

@@ -11 +11 @@
   public class AutoDiffTest {
     [TestMethod]
-    public void TestMethod1() {
+    public void Test() {
       {
+        // eval
         var parser = new InfixExpressionParser();
         var t = parser.Parse("2.0*x+y");
 
+        // interval eval
         var evaluator = new IntervalEvaluator();
-        var intervals = new Dictionary<string, AlgebraicInterval>();
-        intervals.Add("x", new AlgebraicInterval(-1.0, 1.0));
-        intervals.Add("y", new AlgebraicInterval(2.0, 10.0));
+        var intervals = new Dictionary<string, Interval>();
+        intervals.Add("x", new Interval(-1.0, 1.0));
+        intervals.Add("y", new Interval(2.0, 10.0));
         var resultInterval = evaluator.Evaluate(t, intervals);
         Assert.AreEqual(0, resultInterval.LowerBound);
@@ -26 +28 @@
 
       {
+        // vector eval
         var parser = new InfixExpressionParser();
         var t = parser.Parse("2.0*x+y");
@@ -54 +57 @@
 
       {
+        // vector eval and auto-diff
         var parser = new InfixExpressionParser();
         var t = parser.Parse("2.0*x+y");
@@ -98 +102 @@
       }
 
+      {
+        // interval eval and auto-diff
+        var parser = new InfixExpressionParser();
+        var t = parser.Parse("2.0*x+y");
+        var p0 = t.IterateNodesPostfix().First(n => n is ConstantTreeNode);
+        var p1 = t.IterateNodesPostfix().First(n => (n is VariableTreeNode var) && var.VariableName == "y");
+        var paramNodes = new ISymbolicExpressionTreeNode[] { p0, p1 };
+
+        var evaluator = new IntervalEvaluator();
+        var intervals = new Dictionary<string, Interval>();
+        intervals.Add("x", new Interval(-1.0, 1.0));
+        intervals.Add("y", new Interval(2.0, 10.0));
+        var resultInterval = evaluator.Evaluate(t, intervals, paramNodes, out double[] lowerGradient, out double[] upperGradient);
+        Assert.AreEqual(0, resultInterval.LowerBound);
+        Assert.AreEqual(12, resultInterval.UpperBound);
+
+        Assert.AreEqual(-1, lowerGradient[0]);
+        Assert.AreEqual(2, lowerGradient[1]);
+        Assert.AreEqual(1, upperGradient[0]);
+        Assert.AreEqual(10, upperGradient[1]);
+      }
+
     }
   }