What is it ? :
This transform use the Poincaré disk model to build hyperbolic
tilings and patterns.These patterns were used in Escher's well known Circle
Limit serie. See below for more informations.
The Parameters :
n, k : This transform is designed to produce regular tilings, ie tilings with regular polygons. n is the number of side of each polygon, wheras k is the number of polygons that will meet at each vertex. To produce hyperbolic tilings (ans to see something on the screen), you MUST respect the condition for hyperbolic tilings : 1/n + 1/k < 1/2. Typing big enough number should always work...
Symetry : Allow you to add extra symetries to the tiles. To get a continuous pattern, use the highest symetry.
Mapping Center/Rotation/Magnification : To choose which part of the underlying image will be mapped on the tiles.
Correct Mapping ? : This option allow you to distort slightly the underlying image The only use of this parameter is to allow you to "frame" the tiles by using "Polygonal Gradient" in sam.ucl. It might give strange results when used otherwise...
Iteration Number : The number of iteration the algorithm will go through
to build the tiling. You shouldn't care too much about this parameter,
just make sure it's big enough.
More info :
It's not really a simple subject, but I did my best to vulgarize it...
Maybe you recall your elementary geometry course, where Euclid's axiom
said that if you have a line and a point outside a line, there is one and
only one parallel line through the point.
A model of elliptical geometry is the sphere. On a sphere the "lines" are great circles. If we take the Earth as sphere, the equator is a great circle, as well as any meridian. On the contrary, parallels are not great circles(except equator). Two distinct great circles always meet in two points, so there are no parallel lines on the sphere. (For instance, two meridians meet to the North and South poles.) Elliptical space have also the fancy property that the sum of the angles of a triangle is always bigger that 180°. (Can you picture a triangle with three right angles on the sphere ?)
Hyperbolic spaces are more difficult to picture. You can imagine the surface of a saddle, which could represent a small portion of an hyperbolic space. If you draw a triangle on a saddle and measure it's angles, you'll see that the sum is smaller that 180°. The fact that a line has more than on parallel is difficult to verify on a saddle, because it only represent a small part of an hyperbolic space.
Another way to picture an hyperbolic space is the Poincaré disk
model, the one which is used in Circle Limit and the transform. Here the
space is a disk. You must imagine that the disk is everything, there is
nothing outside it, exactly as in "normal" geometry there is nothing outside
the plane. Lines are arc of circles intersecting the disk and perpendicular
to it's boundary. If the angles are preserved in this model, distances
are not. Roughly speaking, the closer you are to the disk boundary, the
bigger the distances become and the disk boundary correspond to the "infinite".
If you walk from the center of the disk, you'll never reach it's boundary.
What's great about non-euclidian spaces (ie ellipical and hyperbolic
spaces), is that they allow things usually impossible in euclidian spaces.
We already saw that the sum of the angle of a triangle is greater of lower
than 180° if you are respectively in an elliptic or hyperbolic space.
This has important consequences on tilings. For instance, it's possible
to tile an hyperbolic space by arranging squares
More generally, if you try to tile a space with regular polygons of
n sides by putting k of them around each vertex, you'll have to do it :
We said that the sphere is an elliptical space. What kind of regular
tiling can be achieved on the sphere ? Think of a cube. If we "blow it
up", it will become a sphere and what were previously the faces will constitute
a regular tiling of
While there are only 5 regulare elliptical tiling (the regular polyhedron,
or platonic solids) and 3 euclidian ones (tilings with hexagons, squares
and triangles), there is an infinity of hyperbolical ones (actually, if
you take n and k big enough, you'll always have 1/n+1/k < 1/2.). All
of them can be represented with the transform.