Hello! I enjoy using shell.polymake.org. I just ran into an odd occurrence. I defined new polytope $p1 by listing its points, and then entered a print command for its facets. I got an incorrect list of 13 facets. Then, I repeated the definition of $p1, and the print command for the facets. This time...