The 1-dimensional curve showing currently is a circle. (Other options, such as a straight line, may eventually be added.)
The circle is controlled by two draggable handles: a centre handle that moves the circle as a whole, and an edge handle that controls the radius of the circle. The values of f for values of z on the circle are shown in terms of distance from the centre of the circle, where f = 0 is on the circumference itself, positive is outside the circle and negative is inside the circle. Real is blue; imaginary is dark brown. The scale of the mapping from the value of f to radius is controlled by the slider, which has a logarithmic scale.
If the graph of f goes through the centre, then the graph becomes ambiguous, and you should use the slider to reduce the scale factor.
A polar grid defines the scale of values for the real and imaginary components f, where the outer-most circle of the grid represents 1 and the inner-most circle represents -1 (if it is visible, which depends on the domain circle size and the chosen scale factor for f).
The "colour scale" specifies how the imaginary and real parts of f map to colour intensities. When the scale value is 1.0, a value of +1 or -1 maps to maximum colour intensity (which with the current colour scheme corresponds to the colours yellow, green, red and black for 1+i, -1+i, 1-i and -1-i respectively).
The 3D view of the graph of f on the circular domain is implemented by three different 3D clues:
If the 3D option is unchecked, then the circle graph will display two graphs, one for the real component and one for the imaginary component of the value of the function f.
It is a consequence of the Residue theorem that the number of times the phase of an analytic complex function f rotates while travelling around a closed curve is equal to the number of simple zeroes of the function inside the curve. You can check that this holds for the white circle by dragging both the circle and the zeroes of the polynomial around, and seeing that the number of times that the 3D representation of f winds around the circle is always equal to the number of zeroes inside the circle (it may sometimes be necessary, after changing the zeroes and the location of the circle, to adjust the graph scale to see this more clearly).
F value rotation is an experimental feature that lets you rotate the values of f in the complex plane. Although it looks a bit like the graph on the circular domain is rotating around the origin, actually it is a rotation of the f values around the axis defined (locally) by the circumference of the white domain circle.
So far I have tested Domkol on the latest versions of various browsers, including:
I am using Chromium on Linux to develop the application, so at any particular time it is likely to work most correctly on that browser.
Known issues are:
TL;DR: Domkol works best with Chrome or Chromium on a desktop with a mouse.
This software is licensed under the GNU Lesser General Public License version 3.
The source code for Domkol is available for forking at https://github.com/pdorrell/domkol.
You can watch a screencast of me using Domkol at https://vimeo.com/75552934.