BinarySequence
==============

.. currentmodule:: proveit.numbers

.. autoclass:: BinarySequence
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~BinarySequence.as_int
      ~BinarySequence.shallow_simplification
      ~BinarySequence.shallow_simplified
      ~BinarySequence.single_bit_reduced
      ~BinarySequence.single_bit_reduction

   .. rubric:: Methods Documentation

   .. automethod:: as_int
   .. automethod:: shallow_simplification
   .. automethod:: shallow_simplified
   .. automethod:: single_bit_reduced
   .. automethod:: single_bit_reduction