https://stackoverflow.com/questions/72445213/jsxgraph-circle-with-ticks-and-ticklabels