sagelite-database-polytopes