add pow(exp, scalar) rule

RobinKa · Sep 29, 2023 · 8bef7d3 · 8bef7d3
1 parent 16ae7c7
commit 8bef7d3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/egga/geometric_algebra.py b/egga/geometric_algebra.py
@@ -432,6 +432,8 @@ def register_exp(medium=True):
                 ),
                 # Euler's formula etc. require adding B^2 so the rule can get matched.
                 rule(eq(x_2).to(exp(x_1))).then(x_1 * x_1),
+                # exp(x) ** f is exp(f x)
+                birewrite(exp(x_1) ** scalar(x_2)).to(exp(scalar(x_2) * x_1)),
             )
 
         def register_scalar(medium=True):