WarpPI/rules/dsl/exponent.rules

28 lines
468 B
Plaintext

calculation ExponentRule1:
1^a -> 1
calculation ExponentRule2:
a^1 -> a
calculation ExponentRule3:
a^0 -> 1
expansion ExponentRule4:
(a * b) ^ n -> a^n * b^n
expansion ExponentRule8:
a ^ (b + c) -> a^b * a^c
expansion ExponentRule9:
(a ^ b) ^ c -> a ^ (b * c)
expansion ExponentRule15:
a * a -> a^2
reduction ExponentRule16a:
a^b * a^c -> a ^ (b + c)
reduction ExponentRule16b:
a^b * a -> a ^ (b + 1)
reduction ExponentRule16c:
a * a^b -> a ^ (1 + b)