I fail to see what the big issue regarding
8 -inv 5
3
is.
Since x u^:n y is equivalent to (x&u)^:n y then 8 (-^:_1) 5 is
equivalent to (8&-^:_1) 5, and the inverse of 8&- is itself, one
can do the math or just ask J,
(8&-) b._1
8&-
Thus,
(8&-)5
3
Am I confused?
On Sun, Oct 18, 2020 at 6:03 PM Henry Rich <[email protected]> wrote:
>
> I agree that - : (-~) might be a better obverse. If there is only one
> inverse, it is for the monad.
>
> I like the idea of more documentation - care to add it to NuVoc?
>
> Henry Rich
>
> On 10/18/2020 6:00 PM, Raul Miller wrote:
> > Yes, that represents the expectation and the implementation. But I am
> > not seeing how there's any inverse here, for the dyadic case.
> >
> > - b. _1
> > -
> >
> > Personally I would expect either
> >
> > - : +
> >
> > or
> >
> > - : (-~)
> >
> > or some writeup explaining the thinking that makes the current
> > implementation the right approach.
> >
> > Thanks,
> >
> > --
> > Raul
> >
> >
> > On Sun, Oct 18, 2020 at 5:49 PM Henry Rich <[email protected]> wrote:
> >> (-&5 inv) 8
> >> 13
> >> (8&- inv) 5
> >> 3
> >>
> >> You are thinking it does the first, but it does the second.
> >>
> >> Henry Rich
> >>
> >> On 10/18/2020 3:27 PM, David Lambert wrote:
> >>> JVERSION
> >>> Engine: j902/j64avx2/linux
> >>> Beta-h: commercial/2020-10-03T19:37:53
> >>> Library: 9.02.05
> >>> Platform: Linux 64
> >>> Installer: J902 install
> >>> InstallPath: /home/lambertdw/downloads/installs/j902
> >>> Contact: www.jsoftware.com
> >>>
> >>>
> >>> NB. huh? 13 looks right to me.
> >>> 8 -inv 5
> >>> 3
> >>>
> >>> NB. expected
> >>> 8 *inv 5
> >>> 0.625
> >>>
> >>> 8 +inv 5
> >>> _3
> >>>
> >>> ----------------------------------------------------------------------
> >>> 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
>
>
> --
> 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
