q4o    
           
  o4u o4u  
           
q4o o4u q4o

x3o o3u x3o
           
o3u     o3u
           
x3o o3u x3o

Rectification wrt. a non-regular polytope is meant to be the singular instance of truncations on all vertices at such a depth that the hyperplane intersections on the former edges will coincide (provided such a choice exists). Within the specific case of tisdip as a pre-image these intersection points might differ on its 2 edge types. Therefore tisdip cannot be rectified (within this stronger sense). Nonetheless the Conway operator of ambification (chosing the former edge centers generally) clearly is applicable. This would result in 2 different edge sizes in the outcome polychoron. That one here is scaled such so that the smaller one becomes unity. Then the longer edge will have size q = sqrt(2).

The isosceles triangles {(t,T,T)} have vertex angles t = arccos(3/4) = 41.409622° resp. T = arccos[1/sqrt(8)] = 69.295189°.

All u = 2 edges, used in the below descriptions, only qualify as pseudo edges wrt. the full polychoron.

Incidence matrix according to Dynkin symbol

uo3ox qo4ou&#zq   → height = 0

o.3o. o.4o.     | 12  * |  2  4  0 | 1  2  2  4 0 | 1 2  2
.o3.o .o4.o     |  * 12 |  0  4  2 | 0  2  4  2 1 | 2 1  2
----------------+-------+----------+--------------+-------
.. .. q. ..     |  2  0 | 12  *  * | 1  0  0  2 0 | 0 2  1
oo3oo oo4oo&#q  |  1  1 |  * 48  * | 0  1  1  1 0 | 1 1  1
.. .x .. ..     |  0  2 |  *  * 12 | 0  0  2  0 1 | 2 0  1
----------------+-------+----------+--------------+-------
.. .. q.4o.     |  4  0 |  4  0  0 | 3  *  *  * * | 0 2  0
uo .. .. ou&#zq |  2  2 |  0  4  0 | * 12  *  * * | 1 1  0
.. ox .. ..&#q  |  1  2 |  0  2  1 | *  * 24  * * | 1 0  1
.. .. qo ..&#q  |  2  1 |  1  2  0 | *  *  * 24 * | 0 1  1
.o3.x .. ..     |  0  3 |  0  0  3 | *  *  *  * 4 | 2 0  0
----------------+-------+----------+--------------+-------
uo3ox .. ou&#zq ♦  3  6 |  0 12  6 | 0  3  6  0 2 | 4 *  *
uo .. qo4ou&#zq ♦  8  4 |  8 16  0 | 2  4  0  8 0 | * 3  *
.. ox qo ..&#q  ♦  2  2 |  1  4  1 | 0  0  2  2 0 | * * 12