From 015d9cd399100427b3e82fb183c81d034f00cd8c Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 4 Sep 2020 21:33:13 -0400 Subject: Use atom for non-array throughout docs --- docs/doc/transpose.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/doc/transpose.html') diff --git a/docs/doc/transpose.html b/docs/doc/transpose.html index 5f0900b8..c8b54b42 100644 --- a/docs/doc/transpose.html +++ b/docs/doc/transpose.html @@ -87,7 +87,7 @@

Finally, it's worth noting that, as monadic Transpose moves the first axis to the end, it's equivalent to dyadic Transpose with a "default" left argument: (=-1˜)⊸⍉.

Definitions

Here we define the two valences of Transpose more precisely.

-

A non-array right argument to Transpose is always enclosed to get a scalar array before doing anything else.

-

Monadic transpose is identical to (=-1˜)⊸⍉, except that for scalar arguments it returns the array unchanged rather than giving an error.

-

In Dyadic transpose, the left argument is a number or numeric array of rank 1 or less, and 𝕨≤○≠≢𝕩. Define the result rank r←(=𝕩)-+´¬∊𝕨 to be the argument rank minus the number of duplicate entries in the left argument. We require ∧´𝕨<r. Bring 𝕨 to full length by appending the missing indices: 𝕨∾↩𝕨(¬∘∊˜/⊢)↕r. Now the result shape is defined to be ⌊´¨𝕨⊔≢𝕩. Element i⊑z of the result z is element (𝕨⊏i)⊑𝕩 of the argument.

+

Monadic transpose is identical to (=-1˜)⊸⍉, except that for scalar arguments (including atoms) it returns the array unchanged rather than giving an error.

+

An atom right argument to dyadic Transpose is always enclosed to get a scalar array before doing anything else.

+

In dyadic Transpose, the left argument is a number or numeric array of rank 1 or less, and 𝕨≤○≠≢𝕩. Define the result rank r←(=𝕩)-+´¬∊𝕨 to be the argument rank minus the number of duplicate entries in the left argument. We require ∧´𝕨<r. Bring 𝕨 to full length by appending the missing indices: 𝕨∾↩𝕨(¬∘∊˜/⊢)↕r. Now the result shape is defined to be ⌊´¨𝕨⊔≢𝕩. Element i⊑z of the result z is element (𝕨⊏i)⊑𝕩 of the argument.

-- cgit v1.2.3