DecimalSequence
===============

.. currentmodule:: proveit.numbers

.. autoclass:: DecimalSequence
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~DecimalSequence.as_int
      ~DecimalSequence.auto_reduction
      ~DecimalSequence.deduce_in_natural
      ~DecimalSequence.deduce_in_natural_pos
      ~DecimalSequence.deduce_in_number_set
      ~DecimalSequence.evaluate_add_digit
      ~DecimalSequence.num_add_eval
      ~DecimalSequence.reduce_exprRange

   .. rubric:: Methods Documentation

   .. automethod:: as_int
   .. automethod:: auto_reduction
   .. automethod:: deduce_in_natural
   .. automethod:: deduce_in_natural_pos
   .. automethod:: deduce_in_number_set
   .. automethod:: evaluate_add_digit
   .. automethod:: num_add_eval
   .. automethod:: reduce_exprRange