bott-taubes polytope Synonyms