Numeric.Covector

data Covector r a

($*)

Covectors as linear functionals

counitM

unitM

comultM

multM

invM

coinvM

antipodeM

convolveM

memoM