11. Power and Inverse
The power conjunction (^:)
is analogous to the power function (^). For example:
]a=: 10^ b=: i.5 1 10 100 1000 10000 b 0 1 2 3 4 %:a 1 3.16228 10 31.6228 100 %: %: a 1 1.77828 3.16228 5.62341 10 %: ^: 2 a 1 1.77828 3.16228 5.62341 10 %: ^: 3 a 1 1.33352 1.77828 2.37137 3.16228 %: ^: b a 1 10 100 1000 10000 1 3.16228 10 31.6228 100 1 1.77828 3.16228 5.62341 10 1 1.33352 1.77828 2.37137 3.16228 1 1.15478 1.33352 1.53993 1.77828 (cos=: 2&o.) ^: b d=:1 1 0.540302 0.857553 0.65429 0.79348 ] y=: cos ^: _ d 0.739085 y=cos y 1
Successive applications of cos appear to be
converging to a limiting value; the infinite
power (cos ^: _)
yields this limit.
A right argument of _1 produces the inverse function.
Thus:
%: ^: _1 b 0 1 4 9 16 *: b 0 1 4 9 16 %: ^: (-b) b 0 1 2 3 4 0 1 4 9 16 0 1 16 81 256 0 1 256 6561 65536 0 1 65536 4.30467e7 4.29497e9
Exercises
11.1 | The square function *: is the inverse of the square root function %: and %:^:_1 is therefore equivalent to *: . Look for, and experiment with, other inverse pairs among the primitive functions in the Vocabulary. |