Math.Algebras.Quaternions
data HBasis
type Quaternion k
i
k
j
class HasConjugation k a
scalarPart
vectorPart
(<.>)
(^-)
refl
asMatrix
reprSO3'
reprSO3
reprSO4'
reprSO4
reprSO4d
one'
k'
j'
i'