Math.Algebras.Quaternions

Documentation

data HBasis

Constructors

One

I

J

K

Instances

Eq HBasis

Ord HBasis

Show HBasis

Num k => Algebra k HBasis

Num k => Coalgebra k (Dual HBasis)

type Quaternion k = Vect k HBasis

j :: Num k => Quaternion k

k :: Num k => Quaternion k

i :: Num k => Quaternion k

i' :: Num k => Vect k (Dual HBasis)

j' :: Num k => Vect k (Dual HBasis)

k' :: Num k => Vect k (Dual HBasis)

one' :: Num k => Vect k (Dual HBasis)