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