sagemath-database-polytopes