>>  <<  Ркв  Ввд  JfC  LJ  Фрз  Слв  Изм  Рзг  !:  Помощь  Словарь

Между m/ u/  _ _ _ Таблично

u/y вставляет диаду u между элементами y . Тоесть:
   m=: i. 3 2
   m;(+/m);(+/"1 m);(+/2 3 4)
+---+---+-----+-+
|0 1|6 9|1 5 9|9|
|2 3|   |     | |
|4 5|   |     | |
+---+---+-----+-+
m/y вставляет последовательные глаголы из герундия m между элементами y, расширяя m циклически сколько требуется. Тоесть, +`*/i.6 есть 0+1*2+3*4+5 .
 		   Если x и y числовые списки, тогда x */ y дает их таблицу умножения. Тоесть:
   1 2 3 */ 4 5 6 7
 4  5  6  7
 8 10 12 14
12 15 18 21
В общем случае, каждая ячейка x применяется ко всему y . Тоесть x u/ y эквивалентно x u"(lu,_) y где lu есть левый ранг u .

В тензорном анализе */ называется прямым (внешним) произведением.
 

Если y не имеет элементов (т.е., 0=#y), u/y производит нейтральный или тождественный элемент функции u . Нейтральный элемент функции u есть значение e такое, что x u e ↔ x или e u x ↔ x, для любого x в области определения (или некоторой ее важной под-области, такой как булевская) u . Это определение (вставки между элементами аргумента, не содержащего элементов) расширяет тождества разбиений вида u/y ↔ (u/k{.y) u (u/k}.y) на случаи k e. 0,#y .

Тождественная функция u есть функция ifu , такая что ifu y ↔ u/y if 0=#y . Используются следующие тождественные функции:

Тождественная функция Для
 
0  $~ }.@$ <  >  +  -  +.  ~:  |  (2 4 5 6 b.)
1  $~ }.@$ =  <:  >:  *  %  *.  %:  ^  !  (1 9 11 13 b.)
_  $~ }.@$ <.
__ $~ }.@$ >.
(v^:_1 ifu$0) $~ }.@$   u&.v
i.@(0&,)@(2&}.)@$ ,
/:@{. C.  {
=@/:@{. %.  +/ . *
ifu@# u/



>>  <<  Ркв  Ввд  JfC  LJ  Фрз  Слв  Изм  Рзг  !:  Помощь  Словарь