Changeset 16738 for branches/2994-AutoDiffForIntervals/HeuristicLab.Problems.DataAnalysis.Symbolic/3.4/Interpreter

Timestamp:

04/01/19 19:19:14 (6 years ago)

Author:

gkronber

Message:

#2994: another unit test, smaller fixes and checks for invalid parameters

File:

• branches/2994-AutoDiffForIntervals/HeuristicLab.Problems.DataAnalysis.Symbolic/3.4/Interpreter/Interpreter.cs (modified) (2 diffs)

branches/2994-AutoDiffForIntervals/HeuristicLab.Problems.DataAnalysis.Symbolic/3.4/Interpreter/Interpreter.cs

@@ -389 +389 @@
       for (int i = 0; i < paramNodes.Length; ++i) {
         if (paramNodes[i] == null) continue;
-        lowerGradient[i] = l.Gradient.Elements[paramNodes[i]];
-        upperGradient[i] = u.Gradient.Elements[paramNodes[i]];
+        if (l.Gradient.Elements.TryGetValue(paramNodes[i], out AlgebraicDouble value)) lowerGradient[i] = value;
+        if (u.Gradient.Elements.TryGetValue(paramNodes[i], out value)) upperGradient[i] = value;
       }
       return new Interval(code[0].value.LowerBound.Value.Value, code[0].value.UpperBound.Value.Value);
@@ -827 +827 @@
       return this;
     }
+
+//     Exponentiation by a natural power[a, b] k:
+// 
+// if 0∈[a, b], then
+//   [a, b]^0  =  [0, 1]
+//   [a, b]^2n   =  [0, max(a2n, b2n)]
+//   [a, b]^2n+1   =  [a2n+1, b2n+1]
+// if [a, b]>0, then
+//   [a, b]^0  =  [1, 1]
+//   [a, b]^k>0  =  [ak, bk]
+// if [a, b]<0, then
+//   [a, b]^0  =  [1, 1]
+//   [a, b]^2n   =  [b2n, a2n]
+//   [a, b]^2n+1   =  [a2n+1, b2n+1]
 
     public AlgebraicInterval AssignIntPower(AlgebraicInterval a, int p) {