====== Refine ====== .. automodule:: sympy.assumptions.refine :members: