B. Symmetries of the Square Index   <<   >>
 

⊢     ⊢

  

⊖⍉    ⍒

  

⌽⊖   ⍒⍒

  

⌽⍉   ⍋⌽
 

⊖     ⌽

⍉     ⍋

⌽    ⍋⍒

⊖⍉⊖  ⍒⌽


⊢ ⌽ ⊖ ⍉ functions on matrices;   ⊢ ⍋ ⍒ ⌽ functions on permutations 

p← 19?19 

(⊢  m) ≡ pm ⊢ p
(⊖⍉ m) ≡ pm ⍒ p
(⌽⊖ m) ≡ pm ⍒⍒p
(⌽⍉ m) ≡ pm ⍋⌽p

(⊖  m) ≡ pm ⌽ p
(⍉  m) ≡ pm ⍋ p
(⌽  m) ≡ pm ⍋⍒p
(⊖⍉⊖m) ≡ pm ⍒⌽p
  

m← pm p

(⊢ p) ≡ mp ⊢  m
(⍒ p) ≡ mp ⊖⍉ m
(⍒⍒p) ≡ mp ⌽⊖ m
(⍋⌽p) ≡ mp ⌽⍉ m

(⌽ p) ≡ mp ⊖  m
(⍋ p) ≡ mp ⍉  m
(⍋⍒p) ≡ mp ⌽  m
(⍒⌽p) ≡ mp ⊖⍉⊖m