Diofant’s documentation
Diofant is a Python library for symbolic mathematics. If you are new to Diofant, start with the Tutorial.
Note
Documentation examples assume (unless otherwise clearly stated) that these statements were executed in the beginning of the interactive session:
>>> from diofant import *
>>> a, b, c, d, t, x, y, z = symbols('a:d t x:z')
>>> k, m, n = symbols('k m n', integer=True)
>>> f, g, h = symbols('f:h', cls=Function)