Thanks Jose for guiding me through my first adventure with adverbs generating nested trains.  Your message helped.

Finally, using only 1 application of evoke gerund:

RootMe =: ((([:`*`)(-:`)((_1 1 1"_)`)({~`)(_2 2"_`))({.~`)(`:6))(@:({.,mean,{:))


Review:

Goal: find an adverb to replace u in
   ({.~ (_2 2"_ {~ _1 1 1"_ -: [: * u))@:({. , mean , {:)

I had gotten as far as to write the inner train,
   u  (([:`*`)(-:`)((_1 1 1"_)`)({~`)(_2 2"_`)(`:6))
(_2 2"_ {~ _1 1 1"_ -: [: * u)

And then was stuck with two problems.
1) failed to recognize that it the inner train is "v" of my hook
2) failed to parenthesize @:fork turning it into another adverb
(@:fork)

   RootMe =: ((([:`*`)(-:`)((_1 1 1"_)`)({~`)(_2 2"_`)(`:6))({.~`)(`:6))(@:({.,mean,{:))

   f =: 2 + (- ^)

   f mean f RootMe ^:_ - 2 1
7.28306e_13



Date: Fri, 14 Sep 2018 17:41:22 -0400 From: Jose Mario Quintana <jose.mario.quint...@gmail.com> To: Programming forum <programm...@jsoftware.com> Subject: Re: [Jprogramming] Tacit form: How to handle intermediate Message-ID: <CABtFPKvEvKvUYcSyW8+xKCXgGzz-+x=47mxwfxuuasojsa9...@mail.gmail.com> Content-Type: text/plain; charset="UTF-8" > I believe I can write payment tacitly, however I'm having a bad time finding a tacit
form for RootMe (yet another false position root finding method adverb)

mean =: +/ % #
RootMe =: 1 :'({.~ _2 2"_ {~ _1 1 1"_ -: [: * u)@:({. , mean , {:)'
David, your adverb has a common form: it takes a verb and produces a
one-liner verb in terms of only one instance of the argument verb.  Once
you know the trick, there is an easy (but sometimes tedious) way to produce
a tacit version of the adverb.

First, you start with the product; turning on the box representation helps
(at least helps me).

----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to