aboutsummaryrefslogtreecommitdiff
path: root/doc/transpose.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-09-04 21:33:13 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-09-04 21:33:13 -0400
commit015d9cd399100427b3e82fb183c81d034f00cd8c (patch)
tree64470d2b546b3691483e35dcadaf925988ffcd37 /doc/transpose.md
parentcf072f50d2e1c600c788d37645721a94c55377c8 (diff)
Use atom for non-array throughout docs
Diffstat (limited to 'doc/transpose.md')
-rw-r--r--doc/transpose.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/transpose.md b/doc/transpose.md
index f7034e83..ae72d889 100644
--- a/doc/transpose.md
+++ b/doc/transpose.md
@@ -74,8 +74,8 @@ Finally, it's worth noting that, as monadic Transpose moves the first axis to th
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 (including atoms) it returns the array unchanged rather than giving an error.
-Monadic transpose is identical to `(=-1˜)⊸⍉`, except that for scalar arguments 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.
+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.