David Nadlinger wrote: > On Sunday, 22 July 2012 at 03:06:28 UTC, Jens Mueller wrote: > >Where is argmin defined? I couldn't find it. > > On the slide before that… ;) :) Jens