a f^:n b is defined to be a&f^:n b. It's that simple.

Marshall

On Sun, Oct 18, 2020 at 06:09:27PM -0400, Raul Miller wrote:
> I am not sure what I would write there -- I do not feel I have an
> adequate understanding of the reasoning behind the current
> implementation (nor potential future implementations).
> 
> Thanks,
> 
> --
> Raul
> 
> 
> 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
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to