Sum
===

.. currentmodule:: proveit.numbers

.. autoclass:: Sum
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Sum.deduce_bound
      ~Sum.deduce_in_number_set
      ~Sum.do_reduced_simplification
      ~Sum.factorization
      ~Sum.factorized
      ~Sum.join
      ~Sum.reduce_geom_sum
      ~Sum.shift
      ~Sum.simplified
      ~Sum.split
      ~Sum.split_off_first
      ~Sum.split_off_last

   .. rubric:: Methods Documentation

   .. automethod:: deduce_bound
   .. automethod:: deduce_in_number_set
   .. automethod:: do_reduced_simplification
   .. automethod:: factorization
   .. automethod:: factorized
   .. automethod:: join
   .. automethod:: reduce_geom_sum
   .. automethod:: shift
   .. automethod:: simplified
   .. automethod:: split
   .. automethod:: split_off_first
   .. automethod:: split_off_last