插入 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 is 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 的結果為函數 uneutralidentity 原子 。函數 u的neutral為一數值 e 符合 x u e « x e u x « x,對任何 u 的定義域的值 x (或一些重要的次-定義域如布林空間)都成立。插指令到無子項引數的定義,擴張了形式為 u/y « (u/k{.y) u (u/k}.y)的分區identities到 k e. 0,#y 的情況。



u identity 函數 ifu 的定義為,若 0=#yifu y « u/y。用到的identity 函數有:

Identity 函數 For
 
$&0@}.@$ <  >  +  -  +.  ~:  |  (2 4 5 6 b.)
$&1@}.@$ =  <:  >:  *  %  *.  %:  ^  !  (1 9 11 13 b.)
$&_@}.@$ <.
$&__@}.@$ >.
i.@(0&,)@(2&}.)@$ ,
i.@(1&{.)@}.@$ C.  {
=@i.@(1&{.)@}.@$ %.  +/ . *
ifu@# u/
$&(v^:_1 ifu$0)@}.@$   u&.v


下個前個字彙索引主選單