Polymake Template Library (PTL) 4.7