model of (!y)%(!x)*(!y-x) looks correct for integers.
_2 outof _5 is mentally calculated as
_5 * _6 _* 7 * _8 * ....
---------------------------------
2 * _7 * _8 * ......
cancelling the common terms
_5 * _6
------------------ which is 30, agreed with 2 ! _5
2
_2 outof 5
!5
-------------------------
(_2 * _3 * _4 * ....) * !7
the denominator is infinity while numerator is finite, thus the
quotient converge to 0
your outof=:13 : '(!y)%(!x)*(!y-x)' failed because it dutifully
calculated numerator and denominator separately and both of them
diverged.
On Mon, 06 Jul 2009, June Kim wrote:
> On Mon, Jul 6, 2009 at 3:58 AM, Oleg Kobchenko<[email protected]> wrote:
> >
> > Dictionary says
> >
> > More generally,x!y is(!y)%(!x)*(!y-x).
> > In general,!y isΓ(1+y) (the gamma function).
>
>
> outof=:13 : '(!y)%(!x)*(!y-x)'
> 2 outof _5
> |NaN error: outof
> | 2 outof _5
> 2 ! _5
> 15
> >
> >
> >
> >
> >
> > ----- Original Message ----
> >> From: June Kim <[email protected]>
> >> To: Programming forum <[email protected]>
> >> Sent: Sunday, July 5, 2009 1:10:33 AM
> >> Subject: Re: [Jprogramming] negative y for "Out Of"
> >>
> >> On Sun, Jul 5, 2009 at 2:04 PM, June Kimwrote:
> >> > 2!_5
> >> > 15
> >> > 2!_6
> >> > 21
> >> > _2!5
> >> > 0
> >> > _2!_5
> >> > 0
> >> >
> >> > It seems like Out Of's behavioral model is : 0:`(((- %&(*/) >:@] )
> >> i.)~)@.(0<[)
> >>
> >>
> >> To treat the cases with 0,
> >>
> >> 0!5
> >> 1
> >> 0!0
> >> 1
> >>
> >> The model should be 0:`(((- %&(*/) >:@] ) i.)~)@.(0<:[)
> >> (note the change from less than to less or equal.)
> >>
> >>
> >> >
> >> > Is it correct?
> >> >
> >> > (BTW, I think negative y for Out Of(!) should incur a domain error or
> >> > the Dictionary page should be modified)
> >> >
> >> ----------------------------------------------------------------------
> >> For information about J forums see http://www.jsoftware.com/forums.htm
> >
> >
> >
> >
> > ----------------------------------------------------------------------
> > For information about J forums see http://www.jsoftware.com/forums.htm
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
--
regards,
====================================================
GPG key 1024D/4434BAB3 2008-08-24
gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm