math/geometry/polytope: reviewed, refactored, unit test fixed (but [many] more unit tests would be nice)