algebra-2.0.2: Constructive abstract algebra

Numeric.Coalgebra.Geometric

Contents

Synopsis

Geometric coalgebra primitives

Operations over an eigenbasis

class Eigenbasis m whereSource

Methods

euclidean :: proxy m -> BoolSource

antiEuclidean :: proxy m -> BoolSource

v :: m -> BasisCoblade mSource

e :: Int -> mSource

class (Ring r, Eigenbasis m) => Eigenmetric r m whereSource

Methods

metric :: m -> rSource

Instances

Grade

Inversions

Products

Inner products