One trick is to try to leverage the quotient criterion. For example, RefMan([4,8], "(r0 r1 r2)^8") is polytopal because it covers {4, 2} and has isomorphic facets.
Then, once we run out of tricks, we should return fail if we cannot determine the answer.
One trick is to try to leverage the quotient criterion. For example, RefMan([4,8], "(r0 r1 r2)^8") is polytopal because it covers {4, 2} and has isomorphic facets.
Then, once we run out of tricks, we should return fail if we cannot determine the answer.