.. _combining_tactics:

Combining tactics
=================

In this last section we cover examples involving division.
The key tactic here is called ``field_simp``:
it clears denominators of fractions,
which gets us back to a setting in which ``ring`` or ``polyrith`` can be applied.


.. include:: 04_Combining_Tactics/01FieldSimp.inc
.. include:: 04_Combining_Tactics/02Sphere.inc
.. include:: 04_Combining_Tactics/03Binomial.inc