Divides
=======

.. currentmodule:: proveit.numbers

.. autoclass:: Divides
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Divides.known_left_sides
      ~Divides.known_right_sides

   .. rubric:: Methods Summary

   .. autosummary::

      ~Divides.apply_transitivity
      ~Divides.conclude
      ~Divides.conclude_via_factor
      ~Divides.conclude_via_reflexivity
      ~Divides.conclude_via_zero_factor
      ~Divides.deduce_in_bool
      ~Divides.eliminate_common_exponent
      ~Divides.eliminate_common_factor
      ~Divides.eliminate_dividend_exponent
      ~Divides.introduce_common_exponent

   .. rubric:: Attributes Documentation

   .. autoattribute:: known_left_sides
   .. autoattribute:: known_right_sides

   .. rubric:: Methods Documentation

   .. automethod:: apply_transitivity
   .. automethod:: conclude
   .. automethod:: conclude_via_factor
   .. automethod:: conclude_via_reflexivity
   .. automethod:: conclude_via_zero_factor
   .. automethod:: deduce_in_bool
   .. automethod:: eliminate_common_exponent
   .. automethod:: eliminate_common_factor
   .. automethod:: eliminate_dividend_exponent
   .. automethod:: introduce_common_exponent