Polymake Template Library (PTL)  4.0