What is the algorithm used for polyhedra intersection?

edit

You can always check source code of a particular function/method like this

P = Polyhedron()
??P.intersection

It tells us that .intersection() simply takes the union of inequalities/equations defining two polyhedra and constructs the resulting polyhedron out of it.