directProduct -- computes the direct product of two convex objects

For the programmer

The object directProduct is .