chiark / gitweb /
bug fix in MMA for infeasible starting point -- feasible points always take precedenc...