much expanded background section, to start addressing feedback from sympy/sage folks