let_=letstart=[(Base 1.0); (Base 1.0)]inletf x1 y1 x2 y2=((sqr x1)+.(sqr y1))-.((sqr x2)+.(sqr y2))inlet[x1_star; y1_star]=multivariate_argmin_F (fun[x1; y1]->multivariate_max_F (fun[x2; y2]->f x1 y1 x2 y2) start) startinlet[x2_star; y2_star]=multivariate_argmax_F (fun[x2; y2]->f x1_star y1_star x2 y2) startin[[(write_real x1_star); (write_real y1_star)]; [(write_real x2_star); (write_real y2_star)]]; 0

Generated by GNU enscript 1.6.4.