algebra-0.4.0: Constructive abstract algebra

Numeric.Functional.Linear

Contents

Synopsis

Documentation

newtype Linear r a Source

Linear functionals from elements of a free module to a scalar

Constructors

Linear 

Fields

($*) :: (a -> r) -> r
 

Vectors

type Vector = (->)Source

Covectors as linear functionals

type Covector a r = Linear r aSource

augmentCovector :: Unital s => Linear s a -> sSource

The augmentation ring homomorphism from r^a -> r, generalizes the augmentation homomorphism from a monoid semiring to the underlying semiring