The source for the code at live.sympy.org