当参数是一维数组时,为什么“0 不等于”_1?

Why "0 not equivalent to "_1 when arguments are one dimensional arrays?

为什么这两个表达式在这种情况下不等价?

   0 1 2 ,"(0)/ 0 1
0 0
0 1

1 0
1 1

2 0
2 1

   0 1 2 ,"(_1)/ 0 1
|length error
|   0 1 2    ,"(_1)/0 1

实际上我正在尝试做的...

a =: 0 1 2 3 4 5 ; 0 1 2 ; 0 1

想得到所有可能的组合

,"0/&>/ a

此代码无效
这虽然有效:

0 1 2 3 4 5 ,"(0 1)/ 0 1 2 ,"(0 0)/ 0 1

但是,当然,我想写成简短的形式

,"0/&>/ a

问题是所有术语都应该

,"(0 1)/

但最后

,"(0 0)/

也许这会有所帮助,因为它所做的只是在 0 级追加

    0  ,"(0)/ 0 1
0 0
0 1
      1  ,"(0)/ 0 1
1 0
1 1
      2  ,"(0)/ 0 1
2 0
2 1

对于您正在调查的问题的实际解决方案,您是否看过目录? {

   {a
┌─────┬─────┐
│0 0 0│0 0 1│
├─────┼─────┤
│0 1 0│0 1 1│
├─────┼─────┤
│0 2 0│0 2 1│
└─────┴─────┘

┌─────┬─────┐
│1 0 0│1 0 1│
├─────┼─────┤
│1 1 0│1 1 1│
├─────┼─────┤
│1 2 0│1 2 1│
└─────┴─────┘

┌─────┬─────┐
│2 0 0│2 0 1│
├─────┼─────┤
│2 1 0│2 1 1│
├─────┼─────┤
│2 2 0│2 2 1│
└─────┴─────┘

┌─────┬─────┐
│3 0 0│3 0 1│
├─────┼─────┤
│3 1 0│3 1 1│
├─────┼─────┤
│3 2 0│3 2 1│
└─────┴─────┘

┌─────┬─────┐
│4 0 0│4 0 1│
├─────┼─────┤
│4 1 0│4 1 1│
├─────┼─────┤
│4 2 0│4 2 1│
└─────┴─────┘

┌─────┬─────┐
│5 0 0│5 0 1│
├─────┼─────┤
│5 1 0│5 1 1│
├─────┼─────┤
│5 2 0│5 2 1│
└─────┴─────┘

目录匹配追加Table:

  (>{a)-: 0 1 2 3 4 5 ,"(0 1)/ 0 1 2 ,"(0 0)/ 0 1
1

"_1 等同于 "0"_

换句话说,“_1 形成一个动词,该动词查看所有数据以找到它的等级,然后派生出另一个动词,以比它低一级的等级工作。