⌽
)⌽ 𝕩
: ReverseReverse 𝕩
along the first axis.
⌽ 1‿2‿3 ⟨ 3 2 1 ⟩ a ← 3‿3 ⥊ ↕9 ⌽ a ┌─ ╵ 6 7 8 3 4 5 0 1 2 ┘
𝕨 ⌽ 𝕩
: RotateMove the first 𝕨
elements of 𝕩
to its end. Negative 𝕨
reverses the direction of rotation.
2 ⌽ 1‿2‿3 ⟨ 3 1 2 ⟩ b ← 3‿3 ⥊ ↕9 2 ⌽ b ┌─ ╵ 6 7 8 0 1 2 3 4 5 ┘