I wrote:
> x #. y is x p.~ |. y for scalar x and
> non-scalar (rather, non-singleton) y .
While writing this up for PrimitivePrimitives, I realized the correspondence is
even stronger than I stated (I had confused the
restrictions on the domain of p. with those of my proposed inverse).
The equivalence:
#. <==> 2&$: : (p.~ |."1)
holds everywhere in the monad, for scalar x in the dyad, up to floating point
precision. I believe.
-Dan
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
