added a satcked polytope in BigDecimal