chiark / gitweb /
more accurate dual minimization for small u