minor adjustment of internal interface of simplex (fun -> mapping),
which is important for linear integer solver