{::^:_ a: NB. Convergence.
+--+
|++|
||||
|++|
+--+
<,<i.1 0 NB. These look the same!
+--+
|++|
||||
|++|
+--+
<<i.1 0
+--+
|++|
||||
|++|
+--+
(,0) -: 0 NB. Shapes differ.
0
NB. Map and fetch are self consistent.
]t =: s(; <)S:0 1{::s NB. boxing preserves empty boxes
+-+----+
|a|+-+ |
| ||0| |
| |+-+ |
+-+----+
|b|+-++|
| ||1|||
| |+-++|
+-+----+
]u =: >1{1{t
+-++
|1||
+-++
u {:: s
b
On Sun, 2010-03-21 at 12:00 +0800, [email protected]
wrote:
> I was going to try answering your question but I am confused by this:
>
> ((-: {::) {::) a: NB. amounts to a: -: {:: a:
> 0
NB. I insert this to clarify the hooked hook using def'ns
NB. of b, d, and e similar to f of a previous post.
((b d) e)'Y' NB. Ace matches the map of the map of ace?
+-+-+---------+
|Y|b|+-+-----+|
| | ||d|+-+-+||
| | || ||e|Y|||
| | || |+-+-+||
| | |+-+-----+|
+-+-+---------+
> ((-: {::) {::) {:: a:
> 1
>
> which I stumbled on when I was trying to investigate
>
> (<,<i.1 0) -: {:: a:
> 0
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
