from pygeo import * v=display(scale=7) zp1=zPoint(1,3,color=WHITE) zp2=zFreePoint(-1,-2,color=WHITE) zp3=zPoint(-3,0,color=WHITE) zcircle=zCircle(zp1,zp2,zp3,color=BLUE) zCirclingPoint(zcircle,color=RED,pointsize=.15) v.animate(povout=False)