多面体计算的规范化后端