Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean. dev

Move origin stuff to AXPY form Euclidean dev

Compositions dev

More convexity, normed spaces, etc. dev

(0) -30 -10 -4 +4 +10 +30 tip

mercurial