Implement the negation of DivExpression

fintarin · Jul 11, 2023 · 0ec2c47 · 0ec2c47
1 parent 865d854
commit 0ec2c47
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/fintamath/expressions/unary/NegExpression.cpp b/src/fintamath/expressions/unary/NegExpression.cpp
@@ -57,6 +57,11 @@ ArgumentPtr NegExpression::simplifyNegatable(const IFunction & /*func*/, const A
     rhsChildren.emplace_back(std::make_shared<Integer>(-1));
     res = makeExpr(Mul(), rhsChildren);
   }
+  else if (is<Div>(rhsExpr->getFunction())) {
+    ArgumentPtr divLhs = makeExpr(Neg(), rhsChildren.front());
+    ArgumentPtr divRhs = rhsChildren.back();
+    res = makeExpr(Div(), divLhs, divRhs);
+  }
   else if (is<Log>(rhsExpr->getFunction())) {
     ArgumentPtr logLhs = rhsChildren.front();
     ArgumentPtr logRhs = makeExpr(Div(), std::make_shared<Integer>(1), rhsChildren.back());