AGENTS.md
CHANGELOG.md
CLAUDE.md
LICENSE
MANIFEST.in
README.md
conftest.py
pyproject.toml
docs/assumptions.md
docs/cad.md
docs/comparison.md
docs/ideals.md
docs/karr.md
docs/reduce.md
docs/solvers.md
sympy_extras/__init__.py
sympy_extras/_testing.py
sympy_extras/_timeout.py
sympy_extras/_typing.py
sympy_extras/py.typed
sympy_extras/settings.py
sympy_extras.egg-info/PKG-INFO
sympy_extras.egg-info/SOURCES.txt
sympy_extras.egg-info/dependency_links.txt
sympy_extras.egg-info/requires.txt
sympy_extras.egg-info/top_level.txt
sympy_extras/assumptions/__init__.py
sympy_extras/assumptions/analysis.py
sympy_extras/assumptions/ask.py
sympy_extras/assumptions/bounds.py
sympy_extras/assumptions/context.py
sympy_extras/assumptions/facts.py
sympy_extras/assumptions/intervals.py
sympy_extras/assumptions/limits.py
sympy_extras/assumptions/quantifiers.py
sympy_extras/assumptions/refine.py
sympy_extras/assumptions/resolve.py
sympy_extras/assumptions/sat.py
sympy_extras/assumptions/solve.py
sympy_extras/assumptions/tests/__init__.py
sympy_extras/assumptions/tests/test_analysis.py
sympy_extras/assumptions/tests/test_ask.py
sympy_extras/assumptions/tests/test_context.py
sympy_extras/assumptions/tests/test_facts.py
sympy_extras/assumptions/tests/test_intervals.py
sympy_extras/assumptions/tests/test_limits.py
sympy_extras/assumptions/tests/test_quantifiers.py
sympy_extras/assumptions/tests/test_refine.py
sympy_extras/assumptions/tests/test_resolve.py
sympy_extras/assumptions/tests/test_sat.py
sympy_extras/assumptions/tests/test_solve.py
sympy_extras/concrete/__init__.py
sympy_extras/concrete/convergence.py
sympy_extras/concrete/dirichlet.py
sympy_extras/concrete/eulersums.py
sympy_extras/concrete/karr.py
sympy_extras/concrete/pisigma.py
sympy_extras/concrete/qhyper.py
sympy_extras/concrete/rational.py
sympy_extras/concrete/zeilberger.py
sympy_extras/concrete/tests/__init__.py
sympy_extras/concrete/tests/test_convergence.py
sympy_extras/concrete/tests/test_dirichlet.py
sympy_extras/concrete/tests/test_eulersums.py
sympy_extras/concrete/tests/test_karr.py
sympy_extras/concrete/tests/test_karr_known.py
sympy_extras/concrete/tests/test_qhyper.py
sympy_extras/concrete/tests/test_rational.py
sympy_extras/concrete/tests/test_zeilberger.py
sympy_extras/polys/__init__.py
sympy_extras/polys/comprehensive.py
sympy_extras/polys/euclidtools.py
sympy_extras/polys/groebnerwalk.py
sympy_extras/polys/ideals.py
sympy_extras/polys/orderings.py
sympy_extras/polys/roots.py
sympy_extras/polys/virtual_substitution.py
sympy_extras/polys/cad/__init__.py
sympy_extras/polys/cad/lifting.py
sympy_extras/polys/cad/projection.py
sympy_extras/polys/cad/qe.py
sympy_extras/polys/cad/samplepoints.py
sympy_extras/polys/cad/tests/__init__.py
sympy_extras/polys/cad/tests/test_lifting.py
sympy_extras/polys/cad/tests/test_projection.py
sympy_extras/polys/cad/tests/test_qe.py
sympy_extras/polys/cad/tests/test_samplepoints.py
sympy_extras/polys/tests/__init__.py
sympy_extras/polys/tests/test_comprehensive.py
sympy_extras/polys/tests/test_euclidtools.py
sympy_extras/polys/tests/test_groebnerwalk.py
sympy_extras/polys/tests/test_ideals.py
sympy_extras/polys/tests/test_ideals_known.py
sympy_extras/polys/tests/test_virtual_substitution.py
sympy_extras/solvers/__init__.py
sympy_extras/solvers/abel.py
sympy_extras/solvers/charpit.py
sympy_extras/solvers/dae.py
sympy_extras/solvers/first_order.py
sympy_extras/solvers/integers.py
sympy_extras/solvers/isolation.py
sympy_extras/solvers/kovacic.py
sympy_extras/solvers/lie.py
sympy_extras/solvers/linear_ode.py
sympy_extras/solvers/linear_systems.py
sympy_extras/solvers/ode.py
sympy_extras/solvers/pde.py
sympy_extras/solvers/second_order.py
sympy_extras/solvers/special.py
sympy_extras/solvers/thue_equation.py
sympy_extras/solvers/transcendental.py
sympy_extras/solvers/tests/test_abel.py
sympy_extras/solvers/tests/test_charpit.py
sympy_extras/solvers/tests/test_dae.py
sympy_extras/solvers/tests/test_first_order.py
sympy_extras/solvers/tests/test_integers.py
sympy_extras/solvers/tests/test_isolation.py
sympy_extras/solvers/tests/test_kovacic.py
sympy_extras/solvers/tests/test_lie.py
sympy_extras/solvers/tests/test_linear_ode.py
sympy_extras/solvers/tests/test_linear_systems.py
sympy_extras/solvers/tests/test_ode.py
sympy_extras/solvers/tests/test_pde.py
sympy_extras/solvers/tests/test_second_order.py
sympy_extras/solvers/tests/test_special.py
sympy_extras/solvers/tests/test_thue.py
sympy_extras/solvers/tests/test_transcendental.py
sympy_extras/tests/test_timeout.py