Round
=====

.. currentmodule:: proveit.numbers

.. autoclass:: Round
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Round.deduce_in_number_set
      ~Round.do_reduced_simplification
      ~Round.rounding_eliminated
      ~Round.rounding_elimination
      ~Round.rounding_extracted
      ~Round.rounding_extraction

   .. rubric:: Methods Documentation

   .. automethod:: deduce_in_number_set
   .. automethod:: do_reduced_simplification
   .. automethod:: rounding_eliminated
   .. automethod:: rounding_elimination
   .. automethod:: rounding_extracted
   .. automethod:: rounding_extraction