### Axial Polytopes

The part about edge-expanded polytopes was derived in a co-operation with J. McNeill (cf. e.g. his pages on EEBs or on n,n,3-acrons).

Also lots of the EKFs provide interesting axial polytopes (even so these are not restricted to axial symmetries in general).

#### Pyramids   (up)

(E.g. in 3D cf. n/d-py for general {n/d} base.)

The pyramids are the outcome of the pyramid product. Take any polytope as base, a single point with a relative orthogonal offset. Then the projective scaling, centered at that point, will outline the derived pyramid within the interval from the point up to the given base. At this level nothing is said about dimensions, convexity of the base, nor about edge lengths.

As far as the base polytope is a non-snub, has a Dynkin diagram description and is orbiform, the whole pyramid will have a Dynkin diagram too. At least in the sense of a lace prism with appropriately scaled lacings. Just prefix any node symbol (thus either being an x or a o) by an unringed node (o). And finally postfix the obtained symbol by "&#y", where the relative size of y is a function of the desired height of the pyramid, in fact it provides the lacing length. – Even so pyramids can be built on a snubbed base, the required symbol cannot be obtained in the just described way, because the processes of alternation and setting up the pyramid product do not commute. Orbiformity of the base was required, as else those lacings cannot all be of a single length.

The actual height of a pyramid can be calculated by means of theorem of Pythagoras as h = sqrt(|y|2 - r2), where |y| will be the absolute length of the lacing edges and r is the circumradius of the base polytope. For 3D pyramids one further has r( x-n/d-o ) = 1/(2 sin(π d/n)) and therefore

```h( ox-n/d-oo&#x ) = sqrt[1 - 1/(2 sin(π d/n))2]
```

Generally this gives as restriction for possible base polytopes h > 0 or |y| > r. For those 3D pyramids therefore one derives

```h( ox-n/d-oo&#x ) > 0   or   1 > 1/(2 sin(π d/n))   or   sin(π d/n) > 1/2   or   π d/n > π/6   or   n/d < 6
```

Because of the equivalence x-n/d-o = x-n/(n-d)-o we likewise get n/(n-d) < 6, or in other words finally: 5/6 < n/d < 6.

Pyramids can be seen as segmentotopes, provided they fullfil their required axioms. In this context those boil down to the requirement that the base polytope has to be a polytope with unique circumradius strictly smaller than 1, and all edges are of unit length. Only then the lacings can be chosen to be of unit length as well.

The lacing facet polytopes all clearly are pyramids in turn, in fact they are pyramids based on the facets of the base polytope.

For convex pyramidal segmentotopes we have:

 1D oo&#x pt || pt line 2D ox&#x pt || line 3g 3D ox3oo&#x pt || 3g tet ox4oo&#x pt || 4g squippy (J1) ox5oo&#x pt || 5g peppy (J2) 4D ox3oo3oo&#x pt || tet pen ox3oo4oo&#x pt || oct octpy ox4oo3oo&#x pt || cube cubpy ox3oo5oo&#x pt || ike ikepy oox4ooo&#x pt || squippy (J1) squasc oox5ooo&#x pt || peppy (J2) peppypy ox ox3oo&#x pt || trip trippy ox ox5oo&#x pt || pip pippy - pt || squap squappy - pt || pap pappy - pt || gyepip (J11) gyepippy - pt || mibdi (J62) mibdipy - pt || teddi (J63) teddipy

A special subclass here are multi-pyramids. Again cf. to the pyramid product. Multi-pyramids are not to be miss-understood here in the sense of a bipyramid, i.e. not as "line || perp base", but rather are meant in the sense of iteratedly applying the pyramid operation instead, thereby adding a further dimension each time. Thus, these figures would be "pt || (pt || (...(pt || base)...))". J. Bowers here introduced a sequence of according names:

```Q-scalene = Q-py-py,
Q-tettene = Q-py-py-py,
Q-pennene = Q-py-py-py-py,
Q-hixene  = Q-py-py-py-py-py,
...
```

Esp. the point-pyramid-pyramid is nothing but a (generally) irregular triangle, which commonly is called a scalene (triangle). This is, where this sequence derives from.
Some examples then would be:

 dim. scalenes tettenes pennenes ... 2D ```{3} = pt-py-py ``` ```- ``` ```- ``` ```- ``` 3D ```tet = line-py-py ``` ```tet = pt-py-py-py ``` ```- ``` ```- ``` 4D ```pen = {3}-py-py squasc = {4}-py-py pesc = {5}-py-py stasc = {5/2}-py-py ... ``` ```pen = line-py-py-py ``` ```pen = pt-py-py-py-py ``` ```- ``` 5D ```hix = tet-py-py octasc = oct-py-py trippasc = trip-py-py squete = squippy-py-py ... ``` ```hix = {3}-py-py-py squete = {4}-py-py-py ... ``` ```hix = line-py-py-py-py ``` ```... ``` 6D ```hop = pen-py-py hexasc = hex-py-py rapesc = rap-py-py tepasc = tepe-py-py squippypasc = squippyp-py-py octete = octpy-py-py trippete = trippy-py-py squepe = squasc-py-py ... ``` ```hop = tet-py-py-py octete = oct-py-py-py trippete = trip-py-py-py squepe = squippy-py-py-py ... ``` ```hop = {3}-py-py-py-py squepe = {4}-py-py-py-py ... ``` ```... ``` 7D ```oca = hix-py-py rixasc = rix-py-py hinsc = hin-py-py hexete = hexpy-py-py ... ``` ```oca = pen-py-py-py hexete = hex-py-py-py ... ``` ```oca = tet-py-py-py-py ... ``` ```... ```

Applying here, the above note, that pyramids on orbiform bases with base radius lesser than 1 generally are segmentotopes, could be iterated. At the first level we have the alignment point || base. Scalenes with such an orbiform base generally do allow for a further such description as line || perp base-base. Tettenes with such an orbiform base generally do allow for a third such description as triangle || perp base-base-base. And the general item of that sequance then allows for the description as simplex || perp iterated base.

#### Prisms   (up)

(E.g. in 3D cf. n/d-p for general {n/d} bases.)

Similar to the pyramids, prisms are the outcome of the prism product of any base polytope with a lacing edge. Again nothing is said in general about dimension, convexity nor edge lengths.

If the base polytope has any Dynkin diagram description, this product will have one too. Just add a further ringed node (inline: x) to the diagram but no further links. Note, this would work for snubbed base polytopes alike. For non-snubbed ones however, the Dynkin diagram can be rewritten as a lace prism just by doubling any node symbol of the base polytope, and by postfixing a "&#y", where y provides the relative edge length of the lacings. – Again snubbing does not commute with the product. In fact, for 3D prisms, commutation would lead to the antiprisms.

Prisms can be seen as segmentotopes, provided they fullfil the required axioms. In this context those boil down to the requirement, that the base polytope just has to be orbiform. Further, the lacings will have to be of unit length as well. I.e. for the height of prismatic segmentotopes one generally has h = 1.

The lacing facet polytopes all clearly are prisms in turn, in fact they are prisms based on the facets of the base polytope.

For convex prismatic segmentotopes we have:

 1D `x o = oo&#x` pt || pt line 2D `x x = xx&#x` line || line 4g 3D ```x x-n-o = xx-n-oo&#x x x4o = xx4oo&#x``` n-g || n-g 4g || 4g n-p cube `x x-n-x = xx-n-xx&#x` 2n-g || 2n-g 2n-p 4D `x x3o3o = xx3oo3oo&#x` tet || tet tepe `x x3x3o = xx3xx3oo&#x` tut || tut tuttip ```x x3o4o = xx3oo4oo&#x x o3x3o = oo3xx3oo&#x``` oct || oct ope `x o3x4o = oo3xx4oo&#x` co || co cope `x o3o4x = oo3oo4xx&#x` cube || cube tes ```x x3x4o = xx3xx4oo&#x x x3x3x = xx3xx3xx&#x``` toe || toe tope `x x3o4x = xx3oo4xx&#x` sirco || sirco sircope `x o3x4x = oo3xx4xx&#x` tic || tic ticcup `x x3x4x = xx3xx4xx&#x` girco || girco sircope ```x x3o5o = xx3oo5oo&#x x s3s3s``` ike || ike ipe `x o3x5o = oo3xx5oo&#x` id || id iddip `x o3o5x = oo3oo5xx&#x` doe || doe dope `x x3x5o = xx3xx5oo&#x` ti || ti tipe `x x3o5x = xx3oo5xx&#x` srid || srid sriddip `x o3x5x = oo3xx5xx&#x` tid || tid tiddip `x x3x5x = xx3xx5xx&#x` grid || grid griddip `x s3s4s` snic || snic sniccup `x s3s5s` snid || snid sniddip `x x x-n-o = xx  xx-n-oo&#x` n-p || n-p 4,n-dip `x s-2-s-n-s` n-ap || n-ap n-appip all orbiform Johnson solids J## || J## J##-p

Of course, multi-prisms do exist as well. And this not only with respect to several perpendicular axes (as in: prism of (prism of (prism of ...)) ), but also in the sense of larger perpendicular objects than a mere product with a line. Cf. here again to the prism product, then within its full generality.

#### Antiprisms   (up)

(E.g. in 3D cf. n/d-ap for general {n/d} bases.)

As such an antiprism is defined only for 3D. There it can be derived as the snub (i.e. alternated faceting) of the prisms with even numbered base polygons. Sure, this concept could be extended to higher dimensions as well, but because of the decreasing relative amount of degrees of freedom when trying to come back to uniform figures (i.e. equal edge lengths) after the (generally applicable) alternated faceting, this ansatz becomes not too effective. (Rare examples in that sense would be sidtidap and gidtidap.)

An alternate idea would be to consider the base polygons of 3D antiprisms as a dual pair of regular polytopes. This ansatz, via lace prisms, clearly extends to any dimension, for 1D it just is point || point, and else just take any linear reflection group graph, assign for the top layer (left symbol at each node position of the graph) the ringed node "x" at the left-most position, all others will be marked "o", while for the bottom layer (right symbol at each node position) the ringed node "x" then will be placed at the right-most position, and again all others will be marked "o". Finally postfix at this Dynkin diagram "&#y", where y gives the relative length of the lacing edges. – As an aside, extending beyond the topic of axials, this ansatz furthermore could be extended onto n-dental reflection group diagrams as well, replacing the lace prisms by (n layered) lace simplices, with a single ringed node at a different end for each layer.

It should be emphasized here, by taking dual pairs of regular polytopes, the bases generally will not be the same polytopes, i.e. the top-bottom symmetry generally is lost. It is retained only whenever those are a self-dual pair (as this was the case for any regular polygon).

Sometimes antiprisms with lateral facet pyramids, which do cross the axis of global symmetry, are also called retroprisms. E.g. for the 5/2-ap the lateral triangles don't, whereas for 5/3-ap they do.

Whenever those lacing edges can be chosen to be of the same length as the ones of the base polytopes, we will have a valid segmentotope. Just as for any segmentotope, the lacing facet polytopes all will be segmentotopes in turn. In fact their bases always will be co-dimensional: vertex atop facet (i.e. bottom-up pyramids), edge atop ridge, etc. ..., ridge atop edge, facet atop vertex (i.e. top-down pyramids).

The height of a (uniform) 3D antiprism can be calculated using the polygonal circumradius r( x-n/d-o ) = 1/(2 sin(π d/n)), the inradius ρ( x-n/d-o ) = sqrt[r2 - (1/2)2] = 1/(2 tan(π d/n)) and the height of the lacing triangle h( x3o ) = r( x3o ) + ρ( x3o ) = sqrt(3)/2

```h( xo-n/d-ox&#x ) = sqrt[(r( x-n/d-o ) - ρ( x-n/d-o ))2 - (h( x3o ))2] = sqrt[(1 + 2 cos(π d/n))/(2 + 2 cos(π d/n))]
```

For convex antiprismatic segmentotopes we have:

 1D oo&#x pt || pt 4g 2D xx&#x line || line 4g 3D xo-n-ox&#x xo ox&#x xo3ox&#x n-g || dual n-g line || perp line 3g || dual 3g n-ap tet oct 4D xo3oo3ox&#x tet || dual tet hex xo3oo4ox&#x oct || cube octacube (alt.: octap) xo3oo5ox&#x ike || doe ikadoe (alt.: ikap)

Finally a further extension should be mentioned within this context, even so no longer belonging truely to axial polytopes. The so far emphasized extension here was to consider antiprisms as using linear Dynkin diagrams displaced by some offset in a further dimensional direction, which have inverted decorations. Whenever the (individual undecorated) Dynkin diagram would have inversional symmetry, this also could be read, as if the total (now decorated) Dynkin diagram would have been inverted as a whole. And, using the around symmetry, the point inversion of a linear diagram happens to be nothing but a rotation by 180°. – And right this observations now opens for a further extension. Consider the 4D tridental Dynkin diagrams o3o3o *b3o. Those also allow for some gyrational symmetry, this time by 120°. Accordingly we no longer shall consider the mere stack of 2 gyrations, but we well can consider the simplectical (here: trigonal) arrangement of all gyrated versions at the same time. Here we consider a 4D "base" space and a further 2D position space. Accordingly those here described polytopes then would live within 6D. – As antiprisms with symmetrical (undecorated) base diagrams in this view well could be considered gyroprisms, that considered extended class of polypetons thus generally is called the one of gyrotrigonisms. – Right as is true for the all the gyroprisms, these gyrotrigonisms too all happen to be scaliform, because obviously all vertices do fall into a single orbit of global symmetry. Moreover, because a trigon clearly is a 2D segmentotope, these gyrotrigonisms could be seen as a monostratic stack of one such 4D base atop of a 5D gyrostack of the 2 other such 4D bases. Accordingly these gyrotrigonisms all qualify as convex segmentopeta. – Despite of this involved description, there happen to be just 4 gyrotrigonisms in total. These are named according to their respective base polychora as hexgyt, thexgyt, ritgyt, and tahgyt.

#### Cupolas   (up)

(E.g. in 3D cf. n/d-cu for general {n/d} and {2n/d} bases.)

As such a cupola is defined only for 3D. Even so it is ment as monostratic face-parallel top-section of larger (uniform) polyhedra, it is best defined directly as lace prism xx-n/d-ox&#y. As such, the cupola is nothing but a Stott expansion of the pyramid (as the first node position changes from "oo" to "xx"), accordingly for y = x we get the same heights, i.e. h( xx-n/d-ox&#x ) = h( oo-n/d-ox&#x ), and therefrom the same restriction: 6/5 < n/d < 6. Further the base polygon, in order to not become a Grünbaumian double cover, requires d to be odd.

In order to extrapolate cupolas into spaces of higher dimensions, there are different valid possibilities, even within the realm of segmentotopes:

1. This extrapolation is based on the observation, that the bottom polytope is the kernel of intersection of a dual pair of the top polytope. (Here the base x-n/d-x of a 3D cupola is read as being the kernel of the compound of x-n/d-o with o-n/d-x.) Speaking of dual, the top figures here will be restricted to regular polytopes. Dealing with their Dynkin diagrams those kernels of intersection, (as is described in the truncation series) in case of odd dimensional top facets, just have the single middle node ringed, resp., for even dimensional top facets, just the two central nodes ringed.

For according segmentochora xPoQo || oPxQo, i.e. the lace prisms xoPoxQoo&#x, the lacings thus would be antiprisms (as subdiagrams: xoPox ..&#x) and pyramids (as: .. oxQoo&#x) only.

2. This different extrapolation sticks to the idea of being a cap of a larger uniform polytope. It also starts with regular polytopes for top facets, but asking the bottom facet being the corresponding Stott expanded version, i.e. its Dynkin diagram has both end nodes ringed. The Dynkin diagram of that larger uniform polytope (of which the cupola would be a cap of) furthermore could be derived by adding "...3x" to the diagram of the top facet.

The accordingly extrapolated segmentochora xPoQo || xPoQx, i.e. the lace prisms xxPooQox&#x have for lacing facets prisms (as subdiagrams: xxPoo ..&#x), trips (as: xx .. ox&#x, i.e. used as digonal 3D cupola in here), and pyramids (as: .. ooQox&#x). Those then would be the xPoQo-cap of the polychoron xPoQo3x.

3. It should be noted, that in a much looser sense, sometimes any possible monostratic stacking of Dynkin symbols, i.e. any lace prism, with non-degenerate bases (esp. neither pyramid nor wedge), which not qualifies as prism or other more specific terms (e.g. not an antiprism), might be termed "cupola".

Case A) is the reading of the term "cupola", which the author prefers. For case of B) the author rather prefers the term cap. Finally C) is mentioned here for awareness only, and not too much endorsed by the author.

For convex cupolaic segmentotopes we have:

 A B 1D oo&#x pt || pt line (same: line = pt-cap of line itself) 2D xx&#x line || line 4g (same: 4g = line-cap of 4g itself) 3D xx ox&#x line || 4g trip (same: trip = line-cap of trip itself) xx3ox&#x 3g || 6g tricu (same: tricu = 3g-cap of co) xx4ox&#x 4g || 8g squacu (same: squacu = 4g-cap of sirco) xx5ox&#x 5g || 10g pecu (same: pecu = 5g-cap of srid) 4D xo ox3oo&#x line || perp {3} pen xx oo3ox&#x line || trip tepe (line-cap of tepe itself) xo ox4oo&#x line || perp {4} squasc xx oo4ox&#x line || cube squippyp (line-cap of squippyp itself) xo ox5oo&#x line || perp {5} peppypy xx oo5ox&#x line || pip peppyp (line-cap of peppyp itself) xo3ox oo&#x 3g || dual 3g (subdimensional: oct) xx3oo ox&#x 3g || trip triddip (3g-cap of triddip itself) xo3ox3oo&#x tet || oct rap xx3oo3ox&#x tet || co (tet-cap of spid) xo3ox4oo&#x oct || co (oct-cap of ico) xx3oo4ox&#x oct || sirco (oct-cap of spic) xo3ox5oo&#x ike || id (ike-cap of rox) (unit lacing impossible in spherical space:xx3oo5ox&#x would be the hyperbolic ike-cap of x3o5o3o) xo4ox oo&#x 4g || dual 4g (subdimensional: squap) xx4oo ox&#x 4g || cube tisdip (4g-cap of tisdip itself) xo4ox3oo&#x cube || co xx4oo3ox&#x cube || sirco (cube-cap of sidpith) xo5ox oo&#x 5g || dual 5g (subdimensional: pap) xx5oo ox&#x 5g || pip trapedip (5g-cap of trapedip itself) xo5ox3oo&#x doe || id xx5oo3ox&#x doe || srid (cube-cap of sidpixhi)

#### Cuploids   (up)

Cuploids are a completely 3D specific concept. They are somehow related to several of the uniform polyhedra, which do not emanate directly by Wythoff's construction, but in fact are reduced forms of Grünbaumian polyhedra. The same holds true here: as pointed out above, the denominator d of the top polygon x-n/d-o has to be odd, else the cupola gets a Grünbaumian double-cover polygon for bottom base. Exactly in those prohibited cases, i.e. for d being even, that offending face will just be withdrawn, and the open but pairwise coincident edges will be reconnected in the obvious way.

 This picture, showing a {7/4}-cuploid, reflected in a mirror, was rendered by C. Tuveson in 2001 in reply to a post of mine: "But your structure reminds me to a true polyhedron with a {7/2}-heptagrammic edge circuit at the bottom and a {7/3}-face at the top side, joined to one another by squares plus trigons (the latter pointing towards the vertices of the top-face). It is the retrograd {7/3}-cuploid, or might also be called the {7/4}-cuploid. As it is well known, the bottom-face of a {n/d}-cupola is a {(2n)/d}; but for 7/4 this becomes the reducible number 14/4, which is nothing but the (reduced) {7/2} with a double circuit. Thereby the latteral sides (squares and trigons) join at the bottom edges, and the bottom face is obsolete (or would have to be counted twice, giving rise to pairwise coincident edges)."

It should be noted additionally that, as long as the top face is not retrograde, i.e. as long as n/d > 2, central parts of the top base offers both sides to the outside because of the bottom base reduction. Faces having this property generally are called membranes.

Within the bounds, also provided above, cuploids exist as segmentohedra. Their bottom face just will have to be marked "pseudo". As this adjective is not transferable into Dynkin diagrams, a lace prism description does not exist. Further, as d has to be even and thus n/d can no longer be integral, clearly there is no convex segmentotope. – As (non-convex) examples {3/2} || pseudo {6/2} and {5/2} || pseudo {10/2} might serve.

#### Cupolaic Blends   (up)

Also being ment for 3D in the first run, those are miming the cuploids in the complemental cases, i.e. for d being odd again. In those cases nomal cupolas do exist. Sure, in a locally similar manner, 2 copies each can be blended in an axially gyrated way. This blending operation thereby withdraws the doubled up bottom face, while the top face becomes a regular compound. (Even so those clearly are segmentotopes, those top face compounds will not be convex.) The easiest ones here are:

• "2{2} || pseudo {4}" (tutrip), the blend of 2 trip, which looks kind a Phillips head.
• "2{3} || pseudo {6}", which again has a membrane.

Nonetheless, this type of operation surely does apply also to pairs of (either way) higher dimensionally extrapolated cupolas with dual top bases. But because then those dual top bases generally no longer have the same circumradius, the height of the to be blended cupolas too must no longer be the same. Thus the top bases then generally would not result in a compound but are arranged in parallel layers, i.e. the blend would not be monostratic anymore. Therefore the research for cupolaic blend segmentotopes (i.e. being monostratic) has to restrict to top bases which are selfdual only (or other wise would assure to have the same circumradius). Examples here are

• "so || pseudo oct" (turap) – as type A cupola extrapolation –, cell count is: 1 so, 8 tet, 8 oct
• "so || pseudo co" – as type B cupola extrapolation –, cell count is: 1 so, 8+12 trip, 8 tet (here the 12 trips themselves might be blended into 6 tutrip, thereby omitting the bottom square each)

#### Fastegia   (up)

Fastegium here derives from latin fastigium, the pediment. Accordingly, as arbitrary dimensional analogue just

• take 3 copies of any polytope,
• use 2 of them to build a prism,
• use that prism as lower base,
• and place the 3rd copy atop that.

Thus, written as a lace prism, it is just oy ...xx...&#z, where x, y, z all define edges of possibly different lengths. The lacing facets accordingly are 2 prisms, similar the bottom one, but now with lacing edges z (while the bottom one has y-lacings), plus, as far as the starting figure had any facets itself, the subdimensional fastegiums derived by those. (Sometimes even the top layer is allowed to differ in size, yielding oy ...wx...&#z.) So, fastegia are special cases of wedges.

If z = y (and w = x) this figure can be rewritten as lace simplex or even as duoprism. oy ...xx...&#y = ...xxx...&#y = y3o ...x.... If further all edges have equal size and the starting polytope was some orbiform, say Q, then the fastegium will be a valid segmentotope (in fact Q || Q-p). Accordingly the segmentotopal height then generally will be h = sqrt(3)/2.

Moreover, whenever Q would be additionally uniform, then the fastegium clearly will be uniform itself, being nothing but the 3,Q-dip.

For convex fastegmal segmentotopes we have:

 2D `ox oo&#x = ooo&#x = x3o o` pt || line {3} 3D `ox xx&#x = xxx&#x = x3o x` line || {4} trip 4D `ox xx-n-oo&#x = xxx-n-ooo&#x = x3o x-n-o` {n} || n-p 3,n-dip

This small table already shows, provided P would be any convex, unit-edged, and orbiform polytope of any dimension, that the set of convex fastegmal segmentotopes could equivalently be described as the set of according 3,P-duoprisms.

#### Antifastegia   (up)

The antifastegium is essentially built the same way as a (normal) fastegium, just that its subdimensional top layer polytope is replaced by its dual. Speaking of duals, this already asks the starting figure itself to be a regular polytope. Those generally are Wythoffian and therefore moreover orbiform.

Any antifastegium can be written as lace prism, which is oy xo...ox&#z in general, where again x, y, z all define edges of possibly different lengths. The facets of an antifastegium are its bottom prism (.y) (.o)...(.x), the 2 antiprism connecting either bottom base to the top base .. xo...ox&#z, and finally for any other sub-element of the bottom prism there will by an according co-dimensional sub-element of the top base, which has to be adjoined.

Finally, antifastegia, having unit edges only, clearly are segmentotopes.

For convex antifastegmal segmentotopes we have:

 2D `ox oo&#x = ooo&#x` pt || line {3} 3D `ox xx&#x = xxx&#x` line || {4} trip 4D `ox xo-n-ox&#x = xxo-n-oox&#x` {n} || gyro n-p n-af

(The more general, not necessarily convex case of 4D then is the n/d-af.)

#### Duoantifastegia & Duoantifastegiaprisms   (up)

A duoantifastegiaprism always can be written as a lace prism in the form xo...ox yo...oy&#z, where again x, y, z all define edges of possibly different lengths. Here the subelements xo...ox&#z and yo...oy&#z would be required to describe antiprisms each. Accordingly the bases here would be required to be (bidually aligned copies of) duoprisms of two regulars each. (In fact, the term duoantifastegiaprism was chosen as a contraction from duoprism duoantifastegium.)

The general convex duoantifastegiaprismal segmentoteron here would be n,m-dafup = xo-n-ox xo-m-ox&#x. (In other dimensions so, the 2 subelemental antiprisms no longer would be bound to equating dimensions.)

A duoantifastegium then can be given as the specific cases, where one of the required subelemental antiprisms becomes a (stretched) tet (xo ox&#z). This clearly makes the duoprisms of the 2 bases degenerate, i.e. the bases would become subdimensional. (This is what reduces one prismatic part from the defining duoprism, and therefore too from the contracted name.)

The general duoantifastegial segmentoteron here would be n/d-daf = xo ox xo-n/d-ox&#x (which moreover is convex for d=1).

As an aside it should be pointed out, that the sequence of used operations (i.e. prism product and stacking) here does not commute: e.g. the number of vertices of (x3o x3o) || (o3x o3x) clearly is (3·3) + (3·3) = 18, whereas (x3o || o3x) (x3o || o3x) would result in (3+3) · (3+3) = 36.

#### Bipyramids   (up)

The bipyramids are the outcome of the tegum product. Take any polytope as a base and a single line segment in orthogonal space, either one being centered at the origin. Then the projective scaling, centered at the ends of the segment, will outline the derived pyramid within the interval from the point up to the given base. At this level nothing is said about dimensions, convexity of the base, nor about edge lengths.

Clearly, bipyramids are closely related to pyramids. In fact those are just external blends of 2 pyramids, being adjoined at their base polytopes. Therefore that defining polytope itself will not be contribute as a true facet of the outcome, as it thereby would be blended out. Yet it can be considered a pseudo face. Likewise it might be possible to dissect the bipyramid into 2 pyramids while squeezing inbetween an equatorial prism. This then is what is meant by elongated bipyramids.

As far as the base polytope is a non-snub, has a Dynkin diagram description and is orbiform, the whole pyramid, bipyramid and even the elongated bipyramids will have a Dynkin diagram too. At least in the sense of a lace tower with appropriately scaled lacings. For bipyramids just pre- and postfix any node symbol (thus either being an x or a o) by an unringed node (o). And finally add to the obtained symbol a final "&#y", where the relative size of y is again a function of the desired height of the pyramid on either side, because literally it provides the lacing length. – Even so pyramids can be built on a snubbed base, the required symbol cannot be obtained in the just described way, because the processes of alternation and setting up the tegum product do not commute. Orbiformity of the base was required, as else those lacings cannot all be of a single length.

For convex bipyramids, which generally are external blends of segmentotopes, we have:

 2D oqo&#xt pt || q-line || pt 4g 3D oxo3ooo&#xt pt || 3g || pt tridpy (J12) oxo4ooo&#xt pt || 4g || pt oct oxo5ooo&#xt pt || 5g || pt pedpy (J13) 4D oxo3ooo3ooo&#xt pt || tet || pt tete oxo3ooo4ooo&#xt pt || oct || pt hex oxo4ooo3ooo&#xt pt || cube || pt cute oxo3ooo5ooo&#xt pt || ike || pt it ooxo4oooo&#xr pt || squippy (J1) || pt octpy oxo oxo3ooo&#xt pt || trip || pt tript oxo oxo5ooo&#xt pt || pip || pt pipt - pt || squap || pt squapdpy (?) - pt || pap || pt papdpy (?) - pt || gyepip (J11) || pt gyepipdpy (?) - pt || mibdi (J62) || pt mibdidpy (?) - pt || teddi (J63) || pt teddidpy (?)

(Lately Bowers prefers the acronym suffix X-t, here representing X(,line)-tegum, rather then the older X-dpy.)

#### Edge-Expanded Biprisms   (up)

This concept is meant for 3D and was invented as an infinite series of polyhedra in summer 1999 by the author. It starts with the (exterior) blend of 2 prisms, i.e. the lace tower xxx-n/d-ooo&#xt, with n ≥ 2d (i.e. progrades). This one would be the {n/d}-gonal (0,0)-EEB.

Now unconnect the lacing edges, and insert triangles inbetween the lacing squares. Here generally there are 2 possibilities: either by bending the squares inward, thus looking like an exterior blend at the bottom face of 2 retrograde cupolas (or cuploids), the {n/d}-gonal (exo-) (1,1)-EEB; or by bending the squares outward, thus looking like the corresponding blend of 2 prograde cupolas (or cuploids), {n/d}-gonal (endo-) (1,0)-EEB.

Instead of inserting a single triangle into that lacing gap at either segment, one equally could insert k triangles each. I.e. the base-vertices are [n/d,4,3k,4] (up to windings, see below). While at the central layer there are vertex types [32,42] (for k>0) and [34] (for k>1). Again there are exo- and endo-types, relating to emanating triangles to the relative outside resp. to the inside (best seen in the equatorial section); equivalently exo means that the lacing squares will bend inward, endo describes the cases where those squares bend outward. Here one also speaks of k-extended (exo-/endo-) EEBs.

For k>1 there even are several possibilities when the sequence of the equatorial edges of a square pair, of those inserted triangle pairs, and of the next square pair winds less or more than once around their orthogonal, vertical axis. This winding number w will be the second parameter of the general {n/d}-gonal (k,w)-EEB. Those are restricted to 0 ≤ w ≤ k-1. (In order to get a planar equatorial layer, the bending of the squares will have to be adapted accordingly.) – Here some examples are in place. The following pictures show parts of the base polygons in red, the equatorial edges between the squares in blue, and those between triangles in black.

 exo (3,0)-EEB,the winding KTSLaround O is < 2π endo (3,0)-EEB,the winding KTSLaround O is < 2π endo (3,1)-EEB,the winding KSTLaround O is > 2π,but < 2 · 2π

In order to calculate the height consider the internal vertex angle of the base polygon x-n/d-o. That one is

```∠AOB = π(1-2d/n)
```

For endo-EEBs (with k>0) one adds 2 right angles (∠AOK, ∠LOB) plus 2πw. That total angle then will be devided into k equal parts, each being the angle sustained by any equatorial triangle edge:

```∠TOS = 2π(1+w-d/n)/k
```

On the other hand, for exo-EEBs (with k>0) one has to subtract from ∠AOB those 2 right angles. But one will have to add 2π(w+1) here. Thus the total angle a posteriori will be the same, and so too each angle sustained by any equatorial triangle edge gets the same number as for the endo case.

Using unit edges and the radius of those equatorial vertex circles r = |OK| = |OL| = |OT| = |OS| within the right triangle, which is the half of TOS, one gets r sin(∠TOS/2) = 1/2. On the other hand the total height of the EEB is h = 2 sqrt(1 - r2). Thus (independing of exo- or endo-)

```h( {n/d}-gonal (k,w)-EEB ) = sqrt[4 - 1/sin2(π(1+w-d/n)/k)]
```

This height formula also shows the range of n/d such that for any given value of (k,w) both the exo- or endo-forms of an {n/d}-gonal (k,w)-EEB do exist, i.e. provide a height with h>0.

 k = 2 k = 3 k = 4 k = 5 w = 0 endo {7} (2,0)-EEB endo {7} (3,0)-EEB endo {7} (4,0)-EEB endo {7} (5,0)-EEB w = 1 endo {7} (3,1)-EEB endo {7} (4,1)-EEB endo {7} (5,1)-EEB w = 2 endo {7} (4,2)-EEB endo {7} (5,2)-EEB w = 3 endo {7} (5,3)-EEB
 k = 2 k = 3 k = 4 k = 5 w = 0 exo {7} (2,0)-EEB exo {7} (3,0)-EEB exo {7} (4,0)-EEB exo {7} (5,0)-EEB w = 1 exo {7} (3,1)-EEB exo {7} (4,1)-EEB exo {7} (5,1)-EEB w = 2 exo {7} (4,2)-EEB exo {7} (5,2)-EEB w = 3 exo {7} (5,3)-EEB

Some special cases clearly are the {n/d}-gonal endo (1,0)-EEBs. Those are also known as (prograde) orthobicupola. The special cases n/d = 3/1, 4/1, 5/1 belong to the Johnson solids, in fact those are tobcu (J27), squobcu (J28), resp. pobcu (J30). – The {n/d}-gonal exo (1,0)-EEBs then are the corresponding retrograde orthobicupola, i.e. orthobicupola with top base {n/(n-d)} (with n ≥ 2d).

Other special cases are the {n/d}-gonal endo (2,1)-EEBs. Those are also known as sphenoprisms, i.e. the connection of the bases by (pairs of) triangle-square-triangle sphenoids. The special case n/d=2 here again is a Johnson solid, in fact the esquidpy (J15). But even within the range 2≤n/d<3 all those {n/d}-gonal endo (2,1)-EEBs are at least locally convex. (The limiting case n/d = 3 then would become flat.)

One even could extrapolate EEBs to retrograde {n/d}, i.e. to {n/(n-d)} within the so far assumed prograde bound n ≥ 2d. This extension would switch endo- and exo EEBs. For sure, the parameter k is un-affected. But with w' = k-w-1 one gets the identity

```{n/d}-gonal exo (k,w)-EEB = {n/(n-d)}-gonal endo (k,k-w-1)-EEB
{n/d}-gonal endo (k,w)-EEB = {n/(n-d)}-gonal exo (k,k-w-1)-EEB
```

which shows, that such retrograde bases not truely produce anything new.

#### Edge-Expanded Bi-Antiprisms   (up)

Just as the EEBs start with the exterior blend of 2 {n/d}-prisms, the EEAs, i.e. edge-expanded antiprisms, are meant to start with the appropriate blend of 2 {n/d}-antiprisms. But, in fact, this would become rather the k=1 cases. We even could start instead by a pair of {n/d}-pyramids, which are mirrored at their tips. This then will become the general {n/d}-gonal (0,0)-EEA. Iterated insertion of triangle pairs at the lacing edges of that bipyramid produces – similar to the EEBs – a new set of {n/d}-gonal exo/endo (k,w)-EEAs. Here the former prism-squares (of the EEBs) clearly are replaced by the lacing antiprism-triangles. – The EEAs where found by J. McNeill.

 k = 2 k = 3 k = 4 k = 5 w = 0 endo {7} (2,0)-EEA endo {7} (3,0)-EEA endo {7} (4,0)-EEA w = 1 endo {7} (4,1)-EEA endo {7} (5,1)-EEA
 k = 2 k = 3 k = 4 k = 5 w = 0 exo {7} (2,0)-EEA exo {7} (3,0)-EEA exo {7} (4,0)-EEA exo {7} (5,0)-EEA w = 1 exo {7} (3,1)-EEA exo {7} (4,1)-EEA exo {7} (5,1)-EEA w = 2 exo {7} (5,2)-EEA

The height can be calculated along the same lines as were shown for the EEBs. The height of the {n/d}-gonal endo (k,w)-EEA reads as follows. (Those for the exo versions could be deduced by substituting w → w* = k-w-1.)

```h( {n/d}-gonal endo (k,w)-EEA ) = sqrt[4 - 1/sin2(π(1+w-d/n)/(k+1))]
```

#### elongated Bipyramids   (up)

These can be considered as dissected bipyramids with a squeezed in equatorial prism. Therefore, whenever the bipyramid was Dynkin describable, the elongated one will be too, just double up the medial vertex layer symbol at each node position. I.e. whenever the (sectional) base had an x, then the pyramid would have an ox, the bipyramid an oxo, and the elongated bipyramid would require an oxxo node. (Similar for o nodes.)

For convex elongated bipyramids, which generally are external blends of segmentotopes, we have:

 2D ohho&#xt pt || h-line || h-line || pt 6g 3D oxxo3oooo&#xt pt || 3g || 3g || pt etidpy (J14) oxxo4oooo&#xt pt || 4g || 4g || pt esquidpy (J15) oxxo5oooo&#xt pt || 5g || 5g || pt epedpy (J16) 4D oxxo3oooo3oooo&#xt pt || tet || tet || pt etedpy (?) oxxo3oooo4oooo&#xt pt || oct || oct || pt pex hex oxxo4oooo3oooo&#xt pt || cube || cube || pt ecubedpy (?) oxxo3oooo5oooo&#xt pt || ike || ike || pt eikedpy (?) - pt || squippy || squippy || pt esquippidpy (?) - pt || pap || pap || pt epapdpy (?) - pt || gyepip (J11) || gyepip (J11) || pt egyepipdpy (?) - pt || mibdi (J62) || mibdi (J62) || pt emibdidpy (?) - pt || teddi (J63) || teddi (J63) || pt eteddidpy (?)

#### Supersemicupola   (up)

In the research for n/d,n/d,3-acrohedra – an acrohedron is a polyhedron containing acrons (or vertices), where acron stems from Greek ακροσ (acros, i.e. summit), as in Acropolis – M. Green found in October 2005 an 7,7,3-acrohedron, which he called a supersemicupola. Based on that finding a small family of n/d,n/d,3-acrohedra was set up according the generalized building rules thereof:

1. Use just the edges of a pseudo {n/d} polygon (resp. polygram) for base.
2. At each such edge both a triangle and an {n/d} will be attached.
3. Any other side of the triangles will cross-attach to the neighbouring {n/d}
(thus producing [3,n/d,3/2,n/(n-d)] vertex figures at the first vertex level).
4. The next open edges of those {n/d} then will be joined to other {n/d}.
(This now produces the desired n/d,n/d,3-acrons, i.e. [3,n/d,n/d] vertex figures, at the second vertex level.)
5. If further open sides of the {n/d} exist, again a triangle will be introduced next
(then resulting in further [3,n/d,n/d] vertex figures).
6. Repeat this process of adjoining alternate triangles and {n/d} – or try to close the polyhedron in any other appropriate way.

Clearly n/d only ranges according to 12/5 < n/d < 12, as in those extremal values the acrons would become flat.

For cases with n being even there generaly would be an easier acrohedron too. In fact, those according to Green's rule then just describes a gyrated blend of 2 such easier ones. (This is quite similar as for the cupolaic blends.)

The following list provides the known n/d,n/d,3-acrohedra which follow that Green's rule.

{n/d} Name 3/1 (related easier acrohedron) (degenerate):just the Grünbaumiandouble-covered skin-surfaceof the 3-fold pyramid tetrahedron tutrip, "Phillips head" trigonal prism(as digonal cupola) ike-faceting ike-5-5 (none) sissid-faceting sissid-5-5 (none) tutut(has a membrane) truncated tetrahedron (small) supersemicupola(has a membrane) (none) great supersemicupola (none) tutic(is a tube) truncated cube tuquith quasitruncated cube tutid(is a tube) truncated dodecahedron tuquit gissid quasitruncated greatstellated dodecahedron