42 lines
825 B
Plaintext
42 lines
825 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)
|
|
|
|
expansion ExponentRule17:
|
|
root(a, x) -> x ^ (1 / a)
|
|
|
|
reduction ExponentRule18:
|
|
(a * b) * b -> a * (b^2)
|
|
reduction ExponentRule18a:
|
|
(a * (b^c)) * b -> a * (b^(c + 1))
|
|
reduction ExponentRule18b:
|
|
(a * b) * (b^c) -> a * (b^(c + 1))
|
|
reduction ExponentRule18c:
|
|
(a * (b^c)) * (b^d) -> a * (b^(c + d))
|
|
reduction ExponentRule18d:
|
|
(a * (b^2)) * b -> a * (b^3)
|