korfaipletomino
fu'ivla x1 is a nonpolyplet polyform/polyomino/polyabolo/polyiamond (etc.) composed of parts/'tile' polytope x2 arranged in (finite) unified shape/pattern x3 (in which the entirety of sides of polytopes are shared or are not shared at all) in ambient space x4 and subject to rules/restrictions/conditions x5 (implicitly includes the condition of whole sides being shared) The hyperedges of the 'tile' polytopes must be shared entirely or not at all with at least one other distinct such 'tile' polytope (should it exist); they cannot be touching only at the corners the most touch adjacently along the entirety of a side/edge/face/hyperedge. This obviously restricts which polytopes can be arranged meaningfully in a valid arrangement/pattern (and thus restricts those patterns). See also: pletomino


pletomino
fu'ivla x1 is a polyform/polyplet/polyomino/polyabolo/polyiamond (etc.) composed of parts/'tile' polytope x2 arranged in (finite) unified shape/pattern x3 in ambient space x4 and subject to rules/restrictions/conditions x5 The number arrangement and rules may be as generic/vague as desired. The number of polytope 'tiles' used can be specified in the third of fifth terbri as desired; the polytopes used need not all be the same, nor regular, so long as the arrangement is meaningful and possible. One of the main differences between rectangular polyplets and polyominoes is that polyominoes cannot have their polytope tiles touching only at their vertices whereas polyplets can (thus, polyominoes are a subset of the rectangular polyplets); this difference can be specified in the final terbri. A tiling of a space may be considered to be an infinite polyform, but that is rather pathological and we can reasonably assume that polyforms referenced by this word will be finite. The polyform is considered to be a unified whole entity. The ambient space is usually going to be the Euclidean space of the same dimension as the polytopes (and the former dimension cannot be exceeded by the latter except in the marginal case of lowerdimensional (id est: hyperplanar) arrangements, in which case parallel crosssections are really being considered); this space determines the rigidmotion/symmetry isomorphisms of various polyforms (Z and S tetraminoes are nonisomorphic under rigidmotion in the Euclidean plane but are so isomorphic in Euclidean 3space). The ambient space also determines the expression of (and indeed the 'allowed') polytopes: spherical geometry allows for digons to be arranged so as to form a polyform, but Euclidean 2space prohibits such objects from the set of possible polygons. The default polytope will probably be a 2dimensional square; thus the default ambient space will likely be Euclidean 2space. See also: karda, korfaipletomino
