Tensor Product

   TODO

   a (x) b = [a0 * b0, a0 * b1, a0 * b2, ... a1 * b0, a1 * b1, ... an * b0,
   an * b1, ...]