Ceil
====

.. currentmodule:: proveit.numbers

.. autoclass:: Ceil
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Ceil.deduce_in_number_set
      ~Ceil.do_reduced_simplification
      ~Ceil.latex
      ~Ceil.rounding_eliminated
      ~Ceil.rounding_elimination
      ~Ceil.rounding_extracted
      ~Ceil.rounding_extraction

   .. rubric:: Methods Documentation

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