Let e[j] be the j-th standard unit basis vector.
CanonicalSimplex(n) gives the simplex with columns being
vertices of the canonical simplex in n-dimensions:
the n-dim. simplex with vertices (0,0,...,0) and e[1],...,e[n]. A vector
(u[1],...,u[n]) is in the canonical simplex if 0 <= u[i] <= 1 for all i
and sum(u) <= 1. UnitSimplexV(n) gives the vertices (V-representation) of the
unit simplex, namely e[1],...,e[n].
A vector (u[1],...,u[n]) is in the unit simplex if 0 <= u[i] <= 1 for all i
and sum(u) == 1. SimplexVolume(S) returns the n-dim. volume of S and
SimplexSurfaceArea(S3) computes the (n-1)-dim. surface area of S3.
JacobianS2Canonical(S2) returns the Jacobian of the transformation
from an m-dim. simplex S2 to the m-dim. canonical simplex.