The d-dimensional standard simplex is the convex hull of the standard basis in QQ^(d+1).
i1 : P = stdSimplex 2
o1 = {ambient dimension => 3 }
dimension of lineality space => 0
dimension of polyhedron => 2
number of facets => 3
number of rays => 0
number of vertices => 3
o1 : Polyhedron