Store subdifferential discrepancy in log

Small optimisation

attempt to reduce trait bounds

Relax step length bounds

(0) -30 -10 -4 tip

mercurial