Direct incompressibility check for translating-sphere flow (source code)

= Direct incompressibility check for translating-sphere flow

For $u=A(r)U+B(r)(U\cdot x)x$, its divergence is $(U\cdot x)(A'/r+rB'+4B)$, which vanishes for the translating-sphere coefficients.