The Truncator is a tool that counts the elements of truncated regular polytopes based on their incidence matrix. While this is intended to be used with actual, real polytopes, it's still possible to input any square incidence matrix since the underlying math doesn't care about if the incidence matrix represents a real polytope.