插入

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 的結果為函數 u 的neutral 或 identity 原子 。函數 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=#y則 ifu 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`

下個 • 前個 • 字彙 • 索引 • 主選單