ZeroOp dev

Reduce preadjointing constraints dev

More Instance parametrisation dev

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

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

mercurial