forum.polymake.org

Hi,

is there any method (at best implemented in Polymake) that, given two polytopes P,Q, checks whether there exists an affine linear map pi with P = pi(Q)?

Unfortunately, there is no such method available in polymake. It is possible to compute the linear symmetries of a polytope via the user function linear_symmetries which wraps functionality of sympol. Using sympol directly, you could compute the linear symmetries of both polytopes and compare the resulting graphs. I guess it is not so easy to ask for affine symmetries, though.