Math.Algebras.VectorSpace

data Vect k b

terms

coeff

zero

zerov

add

(<+>)

addmerge

sumv

neg

(<->)

smultL

(*>)

smultR

(<*)

nf

linear

data EBasis

e

e1

e2

e3

type Trivial k

wrap

unwrap

data Dual b

e'

e1'

e2'

e3'

dual

(<<+>>)

zerof

sumf