Returns the d-dimensional simplex that is the convex hull of the origin and the unit vectors in QQd.
i1 : S = simplex 2 o1 = S o1 : Polyhedron
i2 : S = simplex(2,2) o2 = S o2 : Polyhedron