Duoantifastegiaprism

A duoantifastegiaprism or duoantiwedge is a class of scaliform polytopes formed in a similar way to antiprisms, where the bases are two congurent duoprisms in opposite orientations. The simplest non-trivial duoantifastegiaprism is the triangular duoantifastegiaprism, which has a triangular duoprism base. The dual of a duoantifastegiaprism is a duoantinotch. The duoprism-first envelope of a duoantifastegiaprism is a duoantiprism.

If one of the polytopes is a dyad, then the resulting polytope is a duoantifastegium made out of two congurent prisms in opposite orientations. If both polytopes are dyads, then the resulting polytope is the square disphenoid, which cannot be made scaliform, as the height would be 0 if all edges were equal.

In 5 dimensions, convex scaliform duoantifastegiaprisms exist for all polygons n and m, except the above noted double digonal case. They generally have duoprisms as bases connected by antifastegiums that connect a prismatic cell of one base to a face of the other. the vertex figures as generally square-disphenoidal wedges (a variant of a polychoron that, if all edges are equal, becomes the bidiminished rectified pentachoron.

The height of an n-m duoantifastegiaprism is given by $$\sqrt{\frac{2-\frac{1}{1+\cos\frac{\pi}{m}}-\frac{1}{1+\cos\frac{\pi}{n}}}{2}}$$.

Note that nonconvex duoantifastegiaprisms also exist in 5D, if one or both of the base polygons is a star, and are scaliform if the above height formula returns a positive value. If the height is 0, the result would be a duoantiprism (in particular, with n = 5 and m = 5/3 we get the great duoantiprism).

Higher dimensional generalizations of the concept exist as well, with one simple example being the 6D triangular-tetrahedral duoantifastegiaprism. Many of thsese also remain scaliform.