NormConstraint with radius dev

Need to construct weighted norms using macros due to compiler (overflow) bugs dev

Weighted norms dev

Move Sum to operator_arithmetic as MappingSum dev

Split out and generalise Weighted dev

Discrete gradients dev

ZeroOp dev

Reduce preadjointing constraints dev

More Instance parametrisation dev

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

Significantly simplify Mapping / Apply through Instance dev

(0) -14 +14 +100 tip

mercurial