Store subdifferential discrepancy in log

Small optimisation

attempt to reduce trait bounds

(0) -30 -10 -3 tip

mercurial