/math/py-Diofant/