simplex, polytopes beginnings