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