11. 分類(集合與Propositions)
字串列 -.+./t 附加在任意分類表 t 可得到完整分類表，而以下定義的函數將分類表完整化。函數 tab 確保純量或向量引數被視為單列表格。
c=: complete=: (] , (+./ {. ,:)@:-.@:(+./))@:tab
tab=: ,:^:(0:>.2:-#@$)
c 0 0 1,:0 1 0
0 0 1
0 1 0
1 0 0
c 1 0 1,:0 1 0
1 0 1
0 1 0
(c 1 0 1);(c c 1 0 1);(c 0);(c 1)
+-----+-----+-+-+
|1 0 1|1 0 1|0|1|
|0 1 0|0 1 0|1| |
+-----+-----+-+-+
產生單一布林數列的函數稱之為
proposition；其結果為所謂集合的單向分類 。補集可以將分類補完整。 例如：
p1=: 2&<: *. <&5 以區間定義之集合
p1a=: (2:<:]) *. (]<5:) 另一種定義
p2=: = <. 整數集
a=: 2 %~ i. 11
(],p1,p1a,p2,(p1+.p2),:(p1*.p2)) a
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5
0 0 0 0 1 1 1 1 1 1 0
0 0 0 0 1 1 1 1 1 1 0
1 0 1 0 1 0 1 0 1 0 1
1 0 1 0 1 1 1 1 1 1 1
0 0 0 0 1 0 1 0 1 0 0
list=: 1 : 0 列出集合原子的副詞
x. # ]
)
((p1 list);(p2 list);((p1*.p2)list)) a
+-----------------+-----------+-----+
|2 2.5 3 3.5 4 4.5|0 1 2 3 4 5|2 3 4|
+-----------------+-----------+-----+
下個 • 前個
• 字彙
• 索引
• 主選單