Numeral
=======

.. currentmodule:: proveit.numbers

.. autoclass:: Numeral
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Numeral.as_int
      ~Numeral.deduce_in_digits
      ~Numeral.deduce_in_natural
      ~Numeral.deduce_in_natural_pos
      ~Numeral.deduce_in_number_set
      ~Numeral.deduce_positive
      ~Numeral.eval_equality
      ~Numeral.make_literal
      ~Numeral.not_equal
      ~Numeral.remake_arguments

   .. rubric:: Methods Documentation

   .. automethod:: as_int
   .. automethod:: deduce_in_digits
   .. automethod:: deduce_in_natural
   .. automethod:: deduce_in_natural_pos
   .. automethod:: deduce_in_number_set
   .. automethod:: deduce_positive
   .. automethod:: eval_equality
   .. automethod:: make_literal
   .. automethod:: not_equal
   .. automethod:: remake_arguments