From d28df30593c495f5496789b24c33ed72a606f6ff Mon Sep 17 00:00:00 2001
From: Robert Braun <robert.braun@liu.se>
Date: Tue, 26 Sep 2023 09:47:08 +0200
Subject: [PATCH] Merge divisors after removing factor in SymHop

---
 SymHop/src/SymHop.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/SymHop/src/SymHop.cpp b/SymHop/src/SymHop.cpp
index ec9f3d3e9..e522c8ca4 100644
--- a/SymHop/src/SymHop.cpp
+++ b/SymHop/src/SymHop.cpp
@@ -2521,6 +2521,16 @@ void Expression::removeFactor(const Expression var)
     if(mFactors.size() == 1 && mDivisors.empty()) {
         this->replaceBy(Expression(mFactors.first()));
     }
+    for(int d=0; d<mDivisors.size(); ++d)
+    {
+        if(mDivisors[d].isMultiplyOrDivide())
+        {
+            mFactors.append(mDivisors[d].mDivisors);
+            mDivisors.append(mDivisors[d].mFactors);
+            mDivisors.removeAt(d);
+            --d;
+        }
+    }
     return;
 }