- class Complicated r where
- class Complicated t => Hamiltonian t where
- data QuaternionBasis
- data Quaternion a = Quaternion a a a a
- complicate :: QuaternionBasis -> (ComplexBasis, ComplexBasis)
- uncomplicate :: ComplexBasis -> ComplexBasis -> QuaternionBasis
Documentation
class Complicated r whereSource
Complicated ComplexBasis | |
Complicated QuaternionBasis | |
Rig r => Complicated (Complex r) | |
Rig r => Complicated (Quaternion r) | |
Rig r => Complicated (ComplexBasis -> r) | |
Rig r => Complicated (QuaternionBasis -> r) | |
Complicated a => Complicated (Covector r a) |
class Complicated t => Hamiltonian t whereSource
Hamiltonian QuaternionBasis | |
Rig r => Hamiltonian (Quaternion r) | |
Rig r => Hamiltonian (QuaternionBasis -> r) | |
Hamiltonian a => Hamiltonian (Covector r a) |
data QuaternionBasis Source
data Quaternion a Source
Quaternion a a a a |
complicate :: QuaternionBasis -> (ComplexBasis, ComplexBasis)Source
Cayley-Dickson quaternion isomorphism (one way)
uncomplicate :: ComplexBasis -> ComplexBasis -> QuaternionBasisSource
Cayley-Dickson quaternion isomorphism (the other half)