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

Reply via email to