Merged conflicts.

src/rules/poly.py

@@ -79,10 +79,7 @@ def combine_polynomes(root, args):
     n0, n1, c0, c1, r, e = args
 
     # a ^ 1 -> a
-    if e == 1:
-        power = r
-    else:
-        power = r ** e
+    power = r if e == 1 else r ** e
 
     # replacement: (c0 + c1) * a ^ b
     # a, b and c are from 'left', d is from 'right'.