** Henry, thank you very much, as that answered my question.
(Went through that very section this morning and
remember disregarding it simply because of the
string example, and didn't even catch the fact
that there is the monadic case mentioned. -
Probably effect of African heat wave.)
Anyway, here's what I did, for the record:
u^:(v1 y ) (v2 y) <==> u^:(v1`v2) y NB. NuVoc:
monadic case of Power/ Gerund n
This is what I wanted to re-build
(+:^:5) 1
32
Since
(],%~)5
5 1
(],*) 5
5 1
therefore I re-wrote it this way (two variants)
(+:^:(]`(%~))) 5
32
(+:^:(]`*)) 5
32
and defined two verbs
p1=. +:^:(]`(%~))
p2=. +:^:(]`*)
which perform about the same
timespacex 'p1 100'
2.03937e_5 896
timespacex 'p2 100'
3.57587e_5 896
** Raul, your suggestion is precious to me as I
have investigated along those lines to begin with but wasn't successful ...
p3=. +:@]^:[&1
p3 5
32
timespacex 'p3 100'
2.0673e_5 832
-M
At 2018-08-07 13:55, you wrote:
https://code.jsoftware.com/wiki/Vocabulary/hatco#Gerund_n
Henry Rich
On 8/7/2018 6:57 AM, Martin Kreuzer wrote:
Hi all -
Have been playing with the Power conjunction
using this (not uncommon) example
  po2=. 3 : '+:^:y 1'  NB. power of two by repeated doubling
  po2 5
32
Then I have wanted to come up with a tacit
version of *po2 (a monad with no of repetions as only argument) and tried
  (+:^:])5  NB. does the doubling alright but ...
160
and a number of variations of this
  (+:^:] 1)5
|syntax error
|Â Â Â Â Â Â (+:^:]1)5
Q: Where should I put the start value of 1..?
Thanks
-M
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
---
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
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
