
Boost : 
From: David Abrahams (dave_at_[hidden])
Date: 20040605 09:51:59
Deane Yang <deane_yang_at_[hidden]> writes:
> Perhaps it's my own bias, but I think an underutilized
> concept is that of a dual vector space and the corresponding
> contraction of a vector and a dual vector.
>
> If you assume the vector space is R^n, then of course you can
> identify the dual vector space with the original vector space and
> the contraction as just being the inner product. And since every
> vector space in a computer program is implemented as R^n (or F^n, F
> a field), I think people always assume that there is no point in
> designing an interface that expresses duality.
>
> However, in many situations you gain additional protection against
> mathematical and computation errors, if you treat vectors and dual
> vectors as being in different vector spaces and constrain the operations
> between them appropriately. I use this routinely in my hand calculations
> when doing my research.
>
> A simple example is the duality between position vectors and momentum
> vectors in physics.
>
> Any chance you would want to implement this, too?
My first priorities are being determined by other clients, but we'd be
happy to take contracts for development of additional capabilities.
Not that I fully understand what you're describing, yet... ;)
 Dave Abrahams Boost Consulting http://www.boostconsulting.com
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk