За | u&v mv mv mv |
u&v y ↔ u v y .
Тоесть +:&- 7 дает _14
(удвоить взятое с обратным знаком). Более того, монады u&v
и u@v эквивалентны.
|
x u&v y ↔ (v x) u (v y) .
Например, 3 +&! 4
есть 30, сумма факториалов.
|
3 +&^. 4 NB. Сумма натуральных логарифмов 2.48491 ^ 3 +&^. 4 NB. Умножение, используя натуральные логарифмы 12 3 +&(10&^.) 4 NB. Сумма логарифмов по основанию 10 1.07918 10 ^ 3 +&(10&^.) 4 NB. Умножение, используя логарифмы по осн. 10 12 3 +&.^. 4 NB. См. союз Преобразуя (&.) 12 3 +&.(10&^.) 4 12Сравните поведение & с поведением &: (они отличаются только рангом производимых ими глаголов).