Module bivector 

R = exp(B/2), so a bivector of magnitude θ in plane e_i ∧ e_j rotates by θ from e_i toward e_j. Rotor application is the sandwich v' = R̃ · v · R.

Structs

Bivector2

Bivector3

Bivector4

Rotor2

Unit complex number a + b·e1e2 with a = cos(θ/2), b = sin(θ/2).

Rotor3

Rotor4

Enums

Plane4

Traits

Bivector

Rotor

Rotor operations require unit elements of Spin(N); public fields do not enforce this.