sage

50e9d190 - PolyhedralComplex.is_regular_subdivision: Do not use broken normal_cone.relative_interior().an_element()