Implement polyhedron translate functions.
Tests for nef translation