常用的、著名的或有趣的多面体的类库