TODO
a (x) b = [a0 * b0, a0 * b1, a0 * b2, ... a1 * b0, a1 * b1, ... an * b0, an * b1, ...]
All content available under CC0 1.0 (public domain). Send comments and corrections to drummyfish at disroot dot org.