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,
Petrie polygon of Petrie polygons was later extended to semiregular polytopes. The Petrie polygon of the regular polyhedron {"p", "q"} has "h" sides, where The regular duals, {"p","q"} and {"q","p"}, are contained within the same projected Petrie polygon. The regular Kepler–Poinsot polyhedra have hexagonal, {6}, and decagrammic, {10/3}, Petrie polygons. Infinite regular skew polygons (apeirogon) can also be defined as being the Petrie polygons of the regular tilings, having angles of 90, 120, and 60 degrees of their square, hexagon and triangular faces respectively. Infinite regular skew polygons also exist as Petrie polygons of the regular hyperbolic tilings, like the order-7 triangular