======
Refine
======

.. automodule:: sympy.assumptions.refine
   :members: