Aperiodic set of prototiles seen on the list of aperiodic sets of tiles. The underlying undecidability of the domino problem implies that there exists no systematic procedure for deciding whether a given set of tiles can tile the plane. Polygons are plane figures which are bounded by straight line segments. Regular polygons have all sides of equal length as well as all angles of equal measure. As early as AD 325, Pappus of Alexandria knew that only 3 types of regular polygons (the square, equilateral triangle, and hexagon) can fit perfectly together in repeating tessellations on a Euclidean plane. Within that plane, every triangle,
Skew polygon even-sided n-gonal prisms, alternatingly following an edge of one side polygon, and moving between polygons. For example, on the vertices of a cube. Vertices alternate between top and bottom squares with red edges between sides, and blue edges along each side. In 4 dimensions a regular skew polygon can have vertices on a Clifford torus and related by a Clifford displacement. Unlike zig-zag skew polygons, skew polygons on double rotations can include an odd-number of sides. The petrie polygons of the regular 4-polytope define regular skew polygons. The Coxeter number for each coxeter group symmetry expresses how many sides a