Hyperbolic gircope – using ‘cxhull’ and ‘gyro’

This post is a demonstration of the cxhull and
gyro packages. I will use these packages (and others)
to draw an hyperbolic version of the stereographic projection of a
convex 4D polytope, the gircope or
…