__init__.py __pycache__/ benchmarks/ bivariate.py decompogen.py deutils.py diophantine/ inequalities.py ode/ pde.py polysys.py recurr.py solvers.py solveset.py tests/