I don't think it's possible to write a single structure to represent all polytopes (because of how the half-spaces are calculated) but it is possible to write polymorphic code!

For example, to...