You must distinguish between [email protected] and [email protected] . [email protected] as in your
(n ar)`+:@.]
is contrained to produce a verb; moreover each AR must be that of a verb.
Further, the implementation requires v to produce an atom (presumably on
grounds of efficiency: you would be amazed at what Roger did to get efficient
execution of [email protected]).
[email protected] is allowed to produce a non-verb (note that this is a dispensation from
Roger; Ye Dic as you quote below says the result should be a verb).
I think none of that has changed for many releases; and any changes in the
future will be to bring the documentation in line with the implementation.
Henry Rich
On 9/6/2018 10:55 AM, Raul Miller wrote:
Eh... your words here match the current j807 implementation, but...
ar=:1 :'5!:1<''u'''
n=:i.3
(n ar)`+:@.0
0 1 2
(n ar)`+:@.] 0
|domain error
| (n ar)`+: @.]0
JVERSION
Engine: j807/j64/darwin
Beta-i: commercial/2018-08-22T13:29:30
...
...but when I read the dictionary (
http://www.jsoftware.com/help/dictionary/d621.htm ), I see:
"[email protected] is a verb defined by the gerund m with an agenda specified by n
; that is, the verb represented by the train selected from m by the
indices n . If n is boxed, the train is parenthesized accordingly. The
case [email protected] uses the result of the verb v to perform the selection."
So, in other words,
((;:'*&'),<(;:'0'),<2)@.(i.3)
*&2
exactly matches the dictionary requirement. But
((;:'*&'),<(;:'0'),<2)@.]i.3
|domain error
conflicts with the dictionary's description.
Or am I overlooking some part of the dictionary?
Thanks,
---
This email has been checked for viruses by AVG.
https://www.avg.com
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
