yaxis(label("$y$"),ticks(new real[]{0.5,1}),arrow,ymin＝-0.18,ymax＝1.25);