Data.AdditiveGroup

Groups: zero, addition, and negation (additive inverse)

Documentation

class AdditiveGroup v where

Additive group v.

Methods

zeroV :: v

The zero element: identity for '(^+^)'

(^+^) :: v -> v -> v

Add vectors

negateV :: v -> v

Additive inverse

Instances

AdditiveGroup Double

AdditiveGroup Float

AdditiveGroup ()

(RealFloat v, AdditiveGroup v) => AdditiveGroup (Complex v)

AdditiveGroup v => AdditiveGroup (a -> v)

(AdditiveGroup u, AdditiveGroup v) => AdditiveGroup (u, v)

(HasTrie u, AdditiveGroup v) => AdditiveGroup (:->: u v)

(HasBasis a, HasTrie (Basis a), VectorSpace u) => AdditiveGroup (:> a u)

(AdditiveGroup u, AdditiveGroup v, AdditiveGroup w) => AdditiveGroup (u, v, w)

(^-^) :: AdditiveGroup v => v -> v -> v

Group subtraction

sumV :: AdditiveGroup v => [v] -> v

Sum over several vectors