read "rga_main.mpl"; t2:=time(): RosGrobim([u[x,x]^2*v+u[x,x]*v+u[x],u[x,y],u[y,y]-1],[],R): t2:=time()-t2;