diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-04 21:33:13 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-04 21:33:13 -0400 |
| commit | 015d9cd399100427b3e82fb183c81d034f00cd8c (patch) | |
| tree | 64470d2b546b3691483e35dcadaf925988ffcd37 /doc/transpose.md | |
| parent | cf072f50d2e1c600c788d37645721a94c55377c8 (diff) | |
Use atom for non-array throughout docs
Diffstat (limited to 'doc/transpose.md')
| -rw-r--r-- | doc/transpose.md | 6 |
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. |
