φ 21 : ℍ h n ( c ) → ℍ c n ( c )
φ 12 = φ 21 − 1 : ℍ c n ( c ) → ℍ h n ( c )
( x 0 , x ) ↦ x 1 + 1 c x 0
x ↦ ( c + | x | 2 c ,2 x ) 1 − | x | 2 c 2
φ 31 : ℍ h n ( c ) → ℍ p n ( c )
φ 13 = φ 31 − 1 : ℍ p n ( c ) → ℍ h n ( c )
( x 0 , x ) ↦ c x / x 0
x ↦ ( c , x ) 1 − | x | 2 c 2
φ 14 : ℍ v p n ( c ) → ℍ h n ( c )
φ 41 = φ 14 − 1 : ℍ h n ( c ) → ℍ v p n ( c )
x ↦ ( c 2 + | x | 2 , x )
( x 0 , x ) ↦ x
φ 24 = φ 21 ∘ φ 14 : ℍ v p n ( c ) → ℍ c n ( c )
φ 42 = φ 24 − 1 : ℍ c n ( c ) → ℍ v p n ( c )
x ↦ x 1 + | x | 2 c 2 + 1
x ↦ 2 x 1 − | x | 2 c 2
φ 34 = φ 31 ∘ φ 14 : ℍ v p n ( c ) → ℍ p n ( c )
φ 43 = φ 34 − 1 : ℍ p n ( c ) → ℍ v p n ( c )
x ↦ x 1 + | x | 2 c 2
x ↦ x 1 − | x | 2 c 2