Andrea Cavalli
4c29eeb31c
Fixed implicit multiplication symbols, zoom is now 1x, debug steps are printed, fixed missing numeric chars, changed RootSquare base class to FunctionSingle, added two hardcoded multiplication rules, added rootsquarerule, isolated the swing engine from the window, added 2 Fractions rules and 1 exponent rule
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)
|