If I have a (in my case unbounded) polytope, then I can compute the normal fan using normal_fan. Then there is an inclusion-reversing correspondence between the cones of the normal fan and the faces of the polytope.
Given a cone of the normal fan, I would like to find the corresponding face of the polytope. It seems like polymake must compute this bijection when finding the normal fan. Is there an easy/efficient way to find the corresponding face?
Thank you for your help!