extracting polytope from tulip