Changeset 1a6b1533 in OpenModelica

Timestamp:

2012-11-16T09:31:33+01:00 (11 years ago)

Author:

Jens Frenkel <jens.frenkel@…>

Branches:

Added-citation-metadata, maintenance/v1.14, maintenance/v1.15, maintenance/v1.16, maintenance/v1.17, maintenance/v1.18, maintenance/v1.19, maintenance/v1.20, maintenance/v1.21, maintenance/v1.22, maintenance/v1.23, master, omlib-staging

Children:

8a04612

Parents:

2b4587a3

Message:

• use a^{b = f(..) -> a = sign(pre(a))*(f(...)}(1/b)) only for even integer numbers of b

git-svn-id: ​https://openmodelica.org/svn/OpenModelica/trunk@13914 f25d12d1-65f4-0310-ae8a-bbce733d8d8e

File:

• Compiler/BackEnd/ExpressionSolve.mo (modified) (2 diffs)

Compiler/BackEnd/ExpressionSolve.mo

@@ -314 +314 @@
       list<DAE.Exp> factors;
       list<DAE.Statement> asserts;
+      Real r;
+      Integer i;
     
      // cr = (e1(0)-e2(0))/(der(e1-e2,cr)) 
@@ -380 +382 @@
         ((e,(_,false,SOME(a)))) = Expression.traverseExpTopDown(e, traversingVarOnlyinPow, (cr,false,NONE()));
         DAE.BINARY(operator=DAE.POW(ty=tp1),exp2 = a) = a;
+        // check if a is even number integer
+        r = Expression.expReal(a);
+        i = realInt(r);
+        true = realEq(intReal(i),r);
+        true = intEq(intMod(i,2),0);
         tp = Expression.typeof(e);
         (z,_) = Expression.makeZeroExpression(Expression.arrayDimension(tp));