Compose | u&v mv mv mv |
u&v y « u v y .
Thus +:&- 7 is _14
(double the negation). Moreover, the monads u&v
and u@v are equivalent.
|
x u&v y « (v x) u (v y) .
For example, 3 +&! 4
is 30, the sum of factorials.
|
3 +&^. 4 Sum of natural logarithms 2.48491 ^ 3 +&^. 4 Multiplication using natural logs 12 3 +&(10&^.) 4 Sum of base ten logarithms 1.07918 10 ^ 3 +&(10&^.) 4 Multiplication using base ten logs 12 3 +&.^. 4 See the related conjunction under (&.) 12 3 +&.(10&^.) 4 12Compare the behaviour of & with that of &: . They differ only in the ranks of the verbs that they produce.