sagelite_database_polytopes
