the cross polytope is the dual polytope of the hypercube