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