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

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

mercurial