Re: [Jprogramming] alternating application of monads

2013-03-02 Thread Raul Miller
I forgot to address that, but yes, it was self answered. ` is a combining operation - a fundamental reason for obtaining a gerund is so that you can manipulate a sequence of verbs rather than just an individual verb. So in contexts like this where we only want a single verb, we combine it with th

Re: [Jprogramming] Limit from the right

2013-03-02 Thread km
Raul, I have modified your adverb lim as follows: limr =: 1 : 0 lastgood =. ] {~ 0 i:~ 0 = y - y + ] u y + lastgood (1e_6*1>.|y)*0.5^i.1000 ) % limr 0 5.35754303593134e306 NB. _ >. limr 0 1 NB. 1 <. limr 0 0 NB. 0 %@^. limr 1 4.5035996273705e15 NB. _ %@^. limr 0 _

Re: [Jprogramming] alternating application of monads

2013-03-02 Thread Brian Schott
Raul, Your explanations below help. I don't believe you addressed this question, though (was that because it was self-answered?): "I don't understand the mechanism of altSeq, in particular what the `'' at the end is doing. Gerund with the empty string? Is that just to enforce the creation of a ge

Re: [Jprogramming] Limit from the right

2013-03-02 Thread km
NB. work on limit from right of a function lim =: 1 : 'u 1e_11 * 1 + <. 1e11 * y' NB. Arne Groeneveld gave me this idea. NB. This version evaluates u at a value greater than y, never at y itself. NB. It attempts to approximate the limit from the right of u at y . % l

Re: [Jprogramming] Limit from the right

2013-03-02 Thread Aai
Different for me: 0=0.5^1022+i.5 0 0 0 0 0 and 0=0.5^1071+i.5 0 0 0 0 1 I noticed the following 0.5^1075 0 0.5^1074 4.94066e_324 and decided to use i.1076. On 02-03-13 16:58, km wrote: Arne, have you considered 0=0.5^1022+i.5 0 1 1 1 1 --Kip Sent from my iPad On

Re: [Jprogramming] Limit from the right

2013-03-02 Thread km
Arne, have you considered 0=0.5^1022+i.5 0 1 1 1 1 --Kip Sent from my iPad On Mar 1, 2013, at 6:45 AM, Aai wrote: > Here's a conjunction with the choice of left/right approach. > > It's like Raul's approach except it uses a bit more values and it compares > successive values up to a l

Re: [Jprogramming] alternating application of monads

2013-03-02 Thread Raul Miller
A generic problem with generalities is over-generalization. In this case, I was generalizing your original request by thinking about what would happen if I added more layers. My thoughts were about using a sequence of more than two gerunds, but I also tried to think about arguments greater than r

Re: [Jprogramming] Limit from the right

2013-03-02 Thread Aai
According to my description I have to formulate limit as follows: limit=: 2 :'({~1 i.~[:(}.=}:)<.&.(1e11&*)) u y v 0.5^i.1076' otherwise the values are cut off at 11 decimals. BTW 11 is a value obtained by experimenting with ((4%~])* 3 o. 1r2p1 * 1-]) as input. On 01-03-13 20:20, km wrote: