passagemath-database-polytopes-4d