Quaternionic polytope

A quaternionic polytope is a generalization of the concept of a polytope in the context of quaternionic geometry, much like how a polytope can be generalized from Euclidean spaces to spaces based on complex numbers. In basic terms, a polytope in Euclidean space is defined as a geometric object with flat sides, which can exist in any number of dimensions. A typical example is a polygon in 2D or a polyhedron in 3D.