We implement two methods that look up a face in the face lattice of a polyhedron:

• meet_of_Vrep -- the smallest face containing specified Vrepresentatives
• join_of_Hrep -- the largest face contained specified facets

This allows an easy answer for ​https://ask.sagemath.org/question/34485/what-is-the-most-efficient-way-to-look-up-a-face-in-the-face-lattice-of-a-polyhedron/#50965

Depends on #31834

CC: @jplab @LaisRast @videlec @yuan-zhou

Component: geometry

Keywords: polyhedron, faces, meet, join

Author: Jonathan Kliem

Branch/Commit: 8190917

Reviewer: Yuan Zhou, Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/29683