From 8bef7d3f316b1b0b8785954cddb2ff850081614e Mon Sep 17 00:00:00 2001 From: Robin Kahlow Date: Fri, 29 Sep 2023 23:15:24 +0100 Subject: [PATCH] add pow(exp, scalar) rule --- egga/geometric_algebra.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/egga/geometric_algebra.py b/egga/geometric_algebra.py index 5b8ee94..70d2b8d 100644 --- 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):