Math.Algebras.VectorSpace

data Vect k b

coeff

removeTerm

zerov

add

(<+>)

sumv

negatev

(<->)

smultL

(*>)

smultR

(<*)

nf

linear

type Trivial k

wrap

unwrap

data Dual b