Boyko Bantchev wrote:
>
> On 9 April 2011 13:51, Viktor Cerovski <[email protected]> wrote:
>> Boyko Bantchev wrote:
>>> [...]
>>> in my reading, the Dictionary is unclear what the result of / on
>>> one-item lists should be.
>>> [...]
>>>
>> Dictionary entry for Insert specifies the identity function that
>> covers exactly this case, and the identity function for a given
>> verb v can be obtained via v b. 1
>
> The identity function of a verb v provides that verb's neutral value,
> which is used when v/ is applied on an empty list.
> But I was talking of one-item lists.
>
The dictionary entry for Insert is clear about one
item arrays as well. The relevant bit is:
> [...] definition of insertion over an argument having zero items
> extends partitioning identities of the form
> u/y ↔ (u/k{.y) u (u/k}.y)
> to the cases k e. 0,#y .
>
So for the one item y one should use this identity
for k e. 0 1 to figure out what is the value of u/y.
Since either 0{. or 1}. has zero items in this case,
the identity function of u will be recalled and that way
also defined the value of u/y.
--
View this message in context:
http://old.nabble.com/the-design-of--%5C-tp31343248s24193p31363538.html
Sent from the J Chat mailing list archive at Nabble.com.
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
